sim_lib_numbers_bool/lib.rs
1#![forbid(unsafe_code)]
2#![deny(missing_docs)]
3#![allow(deprecated)]
4
5//! The `numbers/bool` domain: boolean literals and values as the base of the
6//! number-promotion lattice, with edges widening into the integer and float
7//! domains.
8
9mod implementation;
10mod literal;
11
12pub use implementation::{BoolNumberDomain, BoolNumbersLib, number_domain};
13
14#[cfg(test)]
15mod tests;