sig
val iter_succs :
Region_analysis_sig.Node.node ->
(Region_analysis_sig.Node.node -> unit) -> unit
val iter_preds :
Region_analysis_sig.Node.node ->
(Region_analysis_sig.Node.node -> unit) -> unit
val all_nodes : Region_analysis_sig.Node.Set.t
val entry_node : Region_analysis_sig.Node.node
val exit_nodes : Region_analysis_sig.Node.node list
end