Module type Lattice_type.Lattice_Product

module type Lattice_Product = sig .. end

Signature for a product lattice in which Bottom is handled especially. (see Abstract_interp.Make_Lattice_Product).


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