module Node : sig ... end
val fold_succs : t -> (Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val fold_preds : t -> (Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val fold_normal_succs :
t ->
(Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val fold_normal_preds :
t ->
(Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val fold_exceptional_succs :
t ->
(Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val fold_exceptional_preds :
t ->
(Node.t, Node.t, 'accum) IStdlib.IStd.Container.fold
val exn_sink_node : t -> Node.t option
val fold_nodes : (t, Node.t, 'accum) IStdlib.IStd.Container.fold