Module CFG.Node

include ProcCfg.NodeCommonS with type t = TransferFunctions.CFG.Node.t with type id = TransferFunctions.CFG.Node.id with module IdMap = TransferFunctions.CFG.Node.IdMap with module IdSet = TransferFunctions.CFG.Node.IdSet
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
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