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