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