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