module type Lattice_UProduct = sig .. end
sig
end
Abstract_interp.Make_Lattice_UProduct
type t1
type t2
type t = t1 * t2
t1 * t2
include Lattice_type.AI_Lattice_with_cardinal_one