module Make_Lattice_Base:
Parameters: |
|
type
l
type
tt = private
| |
Top |
| |
Bottom |
| |
Value of |
include Abstract_interp.Lattice
val project : t -> l
val inject : l -> t
val transform : (l ->
l -> l) ->
tt ->
tt -> tt