Module Graph.Util

module OTProduct : functor (X : Sig.ORDERED_TYPE) -> functor (Y : Sig.ORDERED_TYPE) -> sig ... end
module HTProduct : functor (X : Sig.HASHABLE) -> functor (Y : Sig.HASHABLE) -> sig ... end
module CMPProduct : functor (X : Sig.COMPARABLE) -> functor (Y : Sig.COMPARABLE) -> sig ... end
module DataV : functor (L : sig ... end) -> functor (V : Sig.COMPARABLE) -> sig ... end