Module CFG.Node

include ProcCfg.NodeCommonS
type t
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
type id
val compare_id : id -> id -> int
val equal_id : id -> id -> bool
val id : t -> id
val loc : t -> IBase.Location.t
val underlying_node : t -> IR.Procdesc.Node.t
val of_underlying_node : IR.Procdesc.Node.t -> t
val pp_id : Stdlib.Format.formatter -> id -> unit