Module type Abstract_interp.Lattice_Product


module type Lattice_Product = sig .. end

type t1 
type t2 

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