module Make_Lattice_Sum: functor (L1 : Lattice) -> functor (L2 : Lattice) -> Lattice_Sum with type t1 = L1.t and type t2 = L2.t
functor (
L1
:
Lattice
) ->
L2
Lattice_Sum
with type t1 = L1.t and type t2 = L2.t
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