module TP: Graph.Graphviz.GraphWithDotAttrs with type t = CallG.t and type V.t = vertex and type E.t = CallG.E.t
Graph.Graphviz.GraphWithDotAttrs
with type t = CallG.t and type V.t = vertex and type E.t = CallG.E.t