Module Graph_gtk.DGraphView
class type ['vertex, 'edge, 'cluster] view = object ... end
Graph widget derived from
GnoCanvas.canvas
. Support zooming and scrolling.
module type S = sig ... end
module Make : functor (V : Graph.Sig.HASHABLE) -> functor (E : Graph.Sig.HASHABLE) -> functor (C : Graph.Sig.HASHABLE) -> S with type vertex = V.t and type edge = E.t and type cluster = C.t