Module Callgraph_api

module Callgraph_api: sig .. end
Callgraph API

module type Graph = sig .. end
module type S = Graph  with type G.V.t = Kernel_function.t
                      and type G.E.label = Cil_types.stmt
Signature for a callgraph.
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