Functor Abstract_interp.Make_Lattice_Sum

module Make_Lattice_Sum: 
functor (L1 : Lattice) ->
functor (L2 : Lattice) -> Lattice_Sum with type t1 = L1.t and type t2 = L2.t
Parameters:
L1 : Lattice
L2 : Lattice

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