Module Register.Service

module Service: Service_graph.Make(sig
val datatype_name : string
type t = Callgraph.callgraph 
module V: sig .. end
val iter_vertex : ('a -> unit) -> ('b, 'a) Hashtbl.t -> unit
val iter_succ : (Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val iter_pred : (Callgraph.callnode -> unit) -> 'a -> Callgraph.callnode -> unit
val fold_pred : (Callgraph.callnode -> 'a -> 'a) -> 'b -> Callgraph.callnode -> 'a -> 'a
end)

type vertex = private {
   node : G.V.t;
   mutable is_root : bool;
   mutable root : vertex;
}
type edge = private 
| Inter_services
| Inter_functions
| Both
module CallG: sig .. end
val compute : G.t -> Datatype.String.Set.t -> CallG.t
val output_graph : Pervasives.out_channel -> CallG.t -> unit
val entry_point : unit -> CallG.V.t option
compute must be called before
Since Carbon-20101201
Change in Nitrogen-20111001: return an option type
module TP: Graph.Graphviz.GraphWithDotAttrs 
    with type t = CallG.t
    and type V.t = vertex
    and type E.t = CallG.E.t