CFG.Node
type t = IR.Procdesc.Node.t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
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 : sig ... end
module IdSet : sig ... end
val to_instr : int -> t -> IR.Procdesc.Node.t * int