module type Services =Graph
with type G.V.t = Kernel_function.t Service_graph.vertex and type G.E.label = Service_graph.edge
module G:Graph.Sig.G
val compute : unit -> unit
val get : unit -> G.t
val dump : unit -> unit
val is_computed : unit -> bool
val self : State.t