axiolid-guarantees 0.3.1

Certified-value and escalation vocabulary for geometry contracts
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

/// Arithmetic precision accepted or required by an operation.
#[non_exhaustive]
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum Precision {
    /// IEEE single precision.
    F32,
    /// IEEE double precision.
    F64,
    /// Deliberate mixed-precision path with documented error bounds.
    Mixed,
    /// Exact arithmetic: the result carries no rounding error at all.
    Exact,
}