Module Region_analysis_sig.Node.Graph

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