Lattices.Prod
module Prod2 (L1 : sig ... end) (L2 : sig ... end) : sig ... end
module Prod2_With_Bottom (L1 : sig ... end) (L2 : sig ... end) : sig ... end
module Prod2_With_Inter_Bottom (L1 : sig ... end) (L2 : sig ... end) : sig ... end