Module AbstractDomain.Types
type 'astate bottom_lifted =
| Bottom
| NonBottom of 'astate
type 'astate top_lifted =
| Top
| NonTop of 'astate
val equal_top_lifted :
('astate -> 'astate -> bool) ->
'astate top_lifted ->
'astate top_lifted ->
bool
type ('below, 'astate, 'above) below_above =
| Below of 'below
| Above of 'above
| Val of 'astate