CFG.Nodetype t = MockProcCfg.Node.tval hash_fold_t : t Base__Ppx_hash_lib.hash_foldval hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_valuetype id = MockProcCfg.Node.idval kind : t -> IR.Procdesc.Node.nodekindval loc : t -> IBase.Location.tval underlying_node : t -> IR.Procdesc.Node.tval of_underlying_node : IR.Procdesc.Node.t -> tval pp_id : Stdlib.Format.formatter -> id -> unitmodule IdMap : sig ... endmodule IdSet : sig ... endval to_instr : int -> t -> IR.Procdesc.Node.t * int