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