Module AbstractDomain.Types

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