module type Lattice_Sum =sig
..end
Abstract_interp.Make_Lattice_Sum
).type
t1
type
t2
type
sum = private
| |
Top |
| |
Bottom |
| |
T1 of |
| |
T2 of |
include Lattice_type.AI_Lattice_with_cardinal_one
val inject_t1 : t1 -> t
val inject_t2 : t2 -> t