implicit_predicates_oracle/lib.rs
1//! Slow, exact reference implementation used to test `implicit-predicates`.
2//!
3//! Meant for tests only, not for production use.
4//!
5//! Currently provides [`Dyadic`], an exact dyadic rational number that every
6//! finite `f64` converts into without loss.
7
8#![forbid(unsafe_code)]
9
10mod dyadic;
11
12pub use dyadic::Dyadic;