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