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 |
| |
Bottom |
include Lattice_type.AI_Lattice_with_cardinal_one
val inject : t1 ->
t2 -> t
val fst : t -> t1
val snd : t -> t2