Graph_gtk.DGraphContainerclass type ['vertex, 'edge, 'cluster, 'tree_vertex, 'tree_edge, 'tree_cluster] view_container_type = object ... endmodule type S = sig ... endmodule Make (G : Graph.Graphviz.GraphWithDotAttrs) : sig ... endmodule Dot : sig ... end