Module DefExcDomain.Exclusion

type inc =
  1. | Inc of BISet.t
val max_of_range : R.t -> Z.t
val min_of_range : R.t -> Z.t
val cardinality_of_range : R.t -> Z.t
val cardinality_BISet : BISet.t -> Z.t
val leq_excl_incl : t -> inc -> bool
val leq : t -> t -> bool