sim-lib-numbers-bool 0.1.0

#![forbid(unsafe_code)]
#![deny(missing_docs)]
#![allow(deprecated)]

//! The `numbers/bool` domain: boolean literals and values as the base of the
//! number-promotion lattice, with edges widening into the integer and float
//! domains.

mod implementation;
mod literal;

pub use implementation::{BoolNumberDomain, BoolNumbersLib, number_domain};

#[cfg(test)]
mod tests;