Functor Abstract_interp.Make_Lattice_Product

module Make_Lattice_Product: 
functor (L1 : Lattice) ->
functor (L2 : Lattice) ->
functor (C : Collapse) -> Lattice_Product with type t1 = L1.t and type t2 = L2.t
If C.collapse then L1.bottom,_ = _,L2.bottom = bottom
Parameters:
L1 : Lattice
L2 : Lattice
C : Collapse

type t1 
type t2 
type tt = private 
| Product of t1 * t2
| Bottom
include Abstract_interp.Lattice
val inject : t1 -> t2 -> t
val fst : t -> t1
val snd : t -> t2