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
Uncollapsed product. Literally the set of (e1, e2) ordered pairs equipped with the order (e1, e2) < (d1, d2) <==> e1 < d1 && e2 < d2.
Parameters: |
|