Module type Callgraph_api.Services

module type Services = Graph  with type G.V.t = Kernel_function.t Service_graph.vertex
        and type G.E.label = Service_graph.edge
Signature for a graph of services

module G: Graph.Sig.G 
The underlying graph datastructure
val compute : unit -> unit
Compute the graph
val get : unit -> G.t
Get the graph from the AST.
val dump : unit -> unit
Dump the graph in the file of the corresponding command line argument.
val is_computed : unit -> bool
Is the graph already built?
val self : State.t