module Graph:sig
..end
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