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/// Cookbook recipes for this domain, embedded at build time.
15pub static RECIPES: sim_cookbook::EmbeddedDir =
16 include!(concat!(env!("OUT_DIR"), "/cookbook_recipes.rs"));
17
18#[cfg(test)]
19mod tests;