module Make_Lattice_Product:
C.collapse
then L1.bottom,_
= _,L2.bottom
= bottom
Parameters: |
|
type
t1
type
t2
type
tt = private
| |
Product of |
| |
Bottom |
include Abstract_interp.Lattice
val inject : t1 -> t2 -> t
val fst : t -> t1
val snd : t -> t2