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
type t = TransferFunctions.CFG.Node.t
type id = TransferFunctions.CFG.Node.id
val kind : t -> IR.Procdesc.Node.nodekind
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
module IdMap = TransferFunctions.CFG.Node.IdMap
module IdSet = TransferFunctions.CFG.Node.IdSet
val to_instr : ProcCfg.InstrNode.instr_index -> t -> ProcCfg.InstrNode.t