Module MakeNode.Graph

val size : int
val iter_nodes : (node -> unit) -> unit
val iter_succs : node -> (node -> unit) -> unit
val iter_preds : node -> (node -> unit) -> unit
val all_nodes : Set.t
val entry_node : node
val exit_nodes : node list