Module Lattices.ProdSource

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

Sourcemodule Prod2 (L1 : sig ... end) (L2 : sig ... end) : sig ... end
Sourcemodule Prod2_With_Bottom (L1 : sig ... end) (L2 : sig ... end) : sig ... end
Sourcemodule Prod2_With_Inter_Bottom (L1 : sig ... end) (L2 : sig ... end) : sig ... end