module Make_Lattice_UProduct: functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one) -> Lattice_UProduct with type t1 = L1.t and type t2 = L2.t
functor (
L1
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
L2
Lattice_UProduct
with type t1 = L1.t and type t2 = L2.t