Service_graph.MakeGeneric functor implementing the services algorithm according to a graph implementation.
module G : sig ... endtype node = G.V.ttype graph = G.tmodule Service_graph : sig ... endval compute : graph -> Datatype.String.Set.t -> Service_graph.tval output_graph : out_channel -> Service_graph.t -> unitval entry_point : unit -> Service_graph.V.t optioncompute must be called before
module TP :
Graph.Graphviz.GraphWithDotAttrs
with type t = Service_graph.t
and type V.t = node vertex
and type E.t = Service_graph.E.t