Module Lattices.Prod

Product lattice is a lattice that pairs two (or more) component lattices

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