Module Graph__.Classic

module type S = sig ... end
module P : functor (G : Graph.Sig.P with type V.label = int) -> S with type graph = G.t

Classic Persistent Graphs

module I : functor (G : Graph.Sig.I with type V.label = int) -> S with type graph = G.t

Classic Imperative Graphs