Module type Lattice_type.Lattice_Sum

module type Lattice_Sum = sig .. end

Signature for a lattice over a sum type (see Abstract_interp.Make_Lattice_Sum).


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