Module type Service_graph.S

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 option

compute 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