`module Node = MockNode`
`type t``= (Node.t * Node.t list) list```
`type instrs_dir``= InferIR.Instrs.not_reversed```
`val instrs : 'a ‑> InferIR.Instrs.not_reversed_t`
`val equal_id : InferStdlib.IStd.Int.t ‑> InferStdlib.IStd.Int.t ‑> bool`
`val fold_succs : (InferStdlib.IStd.Int.t * 'a InferStdlib.IStd.List.t) InferStdlib.IStd.List.t ‑> InferStdlib.IStd.Int.t ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b`
`val fold_preds : ('a * InferStdlib.IStd.Int.t InferStdlib.IStd.List.t) InferStdlib.IStd.List.t ‑> InferStdlib.IStd.Int.t ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b`
`val fold_nodes : ('a * 'b) InferStdlib.IStd.List.t ‑> init:'c ‑> f:('c ‑> 'a ‑> 'c) ‑> 'c`
`val fold_normal_succs : (InferStdlib.IStd.Int.t * 'a InferStdlib.IStd.List.t) InferStdlib.IStd.List.t ‑> InferStdlib.IStd.Int.t ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b`
`val fold_normal_preds : ('a * InferStdlib.IStd.Int.t InferStdlib.IStd.List.t) InferStdlib.IStd.List.t ‑> InferStdlib.IStd.Int.t ‑> init:'b ‑> f:('b ‑> 'a ‑> 'b) ‑> 'b`
`val fold_exceptional_succs : 'a ‑> 'b ‑> init:'c ‑> f:'d ‑> 'c`
`val fold_exceptional_preds : 'a ‑> 'b ‑> init:'c ‑> f:'d ‑> 'c`
`val from_adjacency_list : 'a ‑> 'a`
`val start_node : 'a ‑> 'b`
`val exit_node : 'a ‑> 'b`
`val proc_desc : 'a ‑> 'b`
`val from_pdesc : 'a ‑> 'b`
`val is_loop_head : 'a ‑> 'b`