Module Service_graph.Make.CallG

module CallG: sig .. end

include Graph.Sig.G
module Datatype: Datatype.S  with type t = t