numeric_domains/lib.rs
1//! Abstract domains for fixed-width integer values.
2
3pub mod bit_range;
4pub mod range_set;
5pub mod rnum;
6pub mod tnum;
7pub mod wrapped;
8pub mod znum;
9
10pub use bit_range::BitRange;
11pub use range_set::RangeSet;
12pub use rnum::Rnum;
13pub use tnum::Tnum;
14pub use wrapped::WrappedInterval;
15pub use znum::Znum;