Module Numeric.Values

module Bitmask : sig ... end

Abstraction of integers with bitmasks

module Congruences : sig ... end

Congruence abstraction of integer values.

module Intervals : sig ... end
module Powersets : sig ... end
module Zero : sig ... end

Abstraction of zero and non-zero integer values.