HIL.CFG
module Node : ProcCfg.Node
val instrs : Node.t -> instrs_dir IR.Instrs.t
get the instructions from a node
fold over all successors (normal and exceptional)
fold over all predecessors (normal and exceptional)
fold over non-exceptional successors
fold over non-exceptional predecessors
fold over exceptional successors
fold over exceptional predescessors
val proc_desc : t -> IR.Procdesc.t
val from_pdesc : IR.Procdesc.t -> t
val is_loop_head : IR.Procdesc.t -> Node.t -> bool
val wto : t -> Node.t IR.WeakTopologicalOrder.Partition.t