module Callgraph_api:sig
..end
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
module type Services =Graph
with type G.V.t = Kernel_function.t Service_graph.vertex and type G.E.label = Service_graph.edge