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