Module type Abstract_interp.Lattice_Sum


module type Lattice_Sum = sig .. end

type t1 
type t2 

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