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