module type Lattice_Product = sig .. end
sig
end
type t1
type t2
type tt = private
|
Product of t1 * t2
t1 * t2
Bottom
include Abstract_interp.Lattice
val inject : t1 -> t2 -> t
t1 -> t2 -> t
val fst : t -> t1
t -> t1
val snd : t -> t2
t -> t2