module Make_Lattice_Product: functor (L1 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (L2 : Lattice_type.AI_Lattice_with_cardinal_one) -> functor (C : Collapse) -> Lattice_Product with type t1 = L1.t and type t2 = L2.t
functor (
L1
:
Lattice_type.AI_Lattice_with_cardinal_one
) ->
L2
C
Collapse
Lattice_Product
with type t1 = L1.t and type t2 = L2.t
C.collapse
L1.bottom,_
_,L2.bottom
bottom