module OTProduct (X : sig ... end) (Y : sig ... end) : sig ... end
module HTProduct (X : sig ... end) (Y : sig ... end) : sig ... end
module CMPProduct (X : sig ... end) (Y : sig ... end) : sig ... end
module DataV (L : sig ... end) (V : sig ... end) : sig ... end
module Memo (X : sig ... end) : sig ... end