Single_value_abstraction
module Interval : sig ... end
Single value abstraction using intervals
module Known_bits : sig ... end
module Product : sig ... end
Combine single value abstraction using (reduced) products
module Sentinel : sig ... end
module Sig : sig ... end
Common signature of all single value abstractions
module Ternary : sig ... end
Simple abstraction of boolean values, including transfer function for the usual boolean operations.