implicit-predicates-oracle 0.0.1

Slow exact reference implementation used to test implicit-predicates
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
//! Slow, exact reference implementation used to test `implicit-predicates`.
//!
//! Meant for tests only, not for production use.
//!
//! Currently provides [`Dyadic`], an exact dyadic rational number that every
//! finite `f64` converts into without loss.

#![forbid(unsafe_code)]

mod dyadic;

pub use dyadic::Dyadic;