Module Service_graph


module Service_graph: sig .. end
assume is >= 0 and unique for each vertices of the graph

module Make: 
functor (G : sig
type t 
module V: sig .. end
val iter_vertex : (V.t -> unit) -> t -> unit
val callees : t -> V.t -> V.t list
val callers : t -> V.t -> V.t list
val name : string
end) -> sig .. end