Module `CFG.Node`

type t = Absint__LowerHil.Make(TransferFunctions(Absint.ProcCfg.Exceptional))(HilConfig).CFG.Node.t
type id = Absint__LowerHil.Make(TransferFunctions(Absint.ProcCfg.Exceptional))(HilConfig).CFG.Node.id

val kind : t -> IR.Procdesc.Node.nodekind
val id : t -> id
val hash : t -> int
val loc : t -> IBase.Location.t
val underlying_node : t -> IR.Procdesc.Node.t
val of_underlying_node : IR.Procdesc.Node.t -> t
val compare_id : id -> id -> int
val pp_id : Stdlib.Format.formatter -> id -> unit

module IdMap : sig ... end

module IdSet : sig ... end

val to_instr : Absint.ProcCfg.InstrNode.instr_index -> t -> Absint.ProcCfg.InstrNode.t