module Service_graph:assume is >= 0 and unique for each vertices of the graphsig
..end
module Make:functor (
G
:
sig
typet
module V:sig
..end
val iter_vertex :(V.t -> unit) -> t -> unit
val iter_succ :(V.t -> unit) ->
t -> V.t -> unitval iter_pred :(V.t -> unit) ->
t -> V.t -> unitval fold_pred :(V.t -> 'a -> 'a) ->
t -> V.t -> 'a -> 'aval in_degree :t -> V.t -> int
val datatype_name :string
end
) ->
sig
..end