module type S =sig..end
Output signature for services.
type node
type graph
module Service_graph:sig..end
val vertex : node -> node Service_graph.vertex
val compute : graph ->
Datatype.String.Set.t -> Service_graph.t
val output_graph : Stdlib.out_channel -> Service_graph.t -> unit
val entry_point : unit -> Service_graph.V.t optioncompute must be called before
module TP:Graph.Graphviz.GraphWithDotAttrswith type t = Service_graph.t and type V.t = node vertex and type E.t = Service_graph.E.t