module type Lattice_Product =sig
..end
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