`type t``= ProcCfg.Backward(InferModules.ProcCfg.Normal).t```
`type instrs_dir``= ProcCfg.Backward(InferModules.ProcCfg.Normal).instrs_dir```
`module Node : sig ... end`
`val instrs : Node.t ‑> instrs_dir InferIR.Instrs.t`
`val fold_succs : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val fold_preds : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val fold_normal_succs : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val fold_normal_preds : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val fold_exceptional_succs : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val fold_exceptional_preds : t ‑> (Node.t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val start_node : t ‑> Node.t`
`val exit_node : t ‑> Node.t`
`val proc_desc : t ‑> InferIR.Procdesc.t`
`val fold_nodes : (t, Node.t, 'accum) InferStdlib.IStd.Container.fold`
`val from_pdesc : InferIR.Procdesc.t ‑> t`
`val is_loop_head : InferIR.Procdesc.t ‑> Node.t ‑> bool`