`module Concrete (V : Sig.COMPARABLE) : Sig.I with type V.t = V.t and type V.label = V.t and type E.t = V.t * V.t and type E.label = unit`

Imperative Unlabeled Graphs.

`module Abstract (V : Sig.ANY_TYPE) : Sig.IM with type V.label = V.t and type E.label = unit`

Abstract Imperative Unlabeled Graphs.

`module ConcreteLabeled (V : Sig.COMPARABLE) (E : Sig.ORDERED_TYPE_DFT) : Sig.I with type V.t = V.t and type V.label = V.t and type E.t = V.t * E.t * V.t and type E.label = E.t`

Imperative Labeled Graphs.

`module AbstractLabeled (V : Sig.ANY_TYPE) (E : Sig.ORDERED_TYPE_DFT) : Sig.IM with type V.label = V.t and type E.label = E.t`

Abstract Imperative Labeled Graphs.