val datatype_name : string
type
t = Register.SGraph.t
module V: sig
.. end
val iter_vertex : (Register.SGraph.vertex -> unit) -> Register.SGraph.t -> unit
val iter_succ : (Register.SGraph.vertex -> unit) ->
Register.SGraph.t -> Register.SGraph.vertex -> unit
val iter_pred : (Register.SGraph.vertex -> unit) ->
Register.SGraph.t -> Register.SGraph.vertex -> unit
val fold_pred : (Register.SGraph.vertex -> 'a -> 'a) ->
Register.SGraph.t -> Register.SGraph.vertex -> 'a -> 'a
val in_degree : Register.SGraph.t -> Register.SGraph.vertex -> int