`module Concrete (V : Sig.COMPARABLE) : sig ... end`
`module ConcreteBidirectional (V : Sig.COMPARABLE) : sig ... end`
`module ConcreteLabeled (V : Sig.COMPARABLE) (Edge : Sig.ORDERED_TYPE_DFT) : sig ... end`
`module ConcreteBidirectionalLabeled (V : Sig.COMPARABLE) (Edge : Sig.ORDERED_TYPE_DFT) : sig ... end`
`module Abstract (V : Sig.VERTEX) : sig ... end`
`module AbstractLabeled (V : Sig.VERTEX) (E : Sig.ORDERED_TYPE_DFT) : sig ... end`