Module type Graph_gtk__DGraphContainer.S
module Tree : Graph.Sig.G with type V.label = vertex
module GView : Graph_gtk.DGraphView.S with type vertex = vertex and type edge = edge and type cluster = cluster
module TView : Graph_gtk.DGraphView.S with type vertex = Tree.V.t and type edge = Tree.E.t and type cluster = cluster
type global_view
= (vertex, edge, cluster) Graph_gtk.DGraphView.view
type tree_view
= (Tree.V.t, Tree.E.t, cluster) Graph_gtk.DGraphView.view
class view_container : ?packing:(GObj.widget -> unit) -> ?status:status -> ?default_callbacks:bool -> mk_global_view:(unit -> global_view) -> mk_tree_view:(depth_backward:int -> depth_forward:int -> Gtk.widget Gtk.obj -> vertex -> tree_view) -> vertex option -> [vertex, edge, cluster, Tree.V.t, Tree.E.t, cluster] view_container_type