Module DefExcDomain.Exclusion

module R : sig ... end
type t =
  1. | Exc of BISet.t * R.t
type inc =
  1. | Inc of BISet.t
val max_of_range : ('a * int) -> Z.t
val min_of_range : (int * 'a) -> Z.t
val cardinality_of_range : (int * int) -> Z.t
val cardinality_BISet : BISet.t -> Z.t
val leq_excl_incl : t -> inc -> bool
val leq : t -> t -> bool