Struct PrecisionBlock 

pub struct PrecisionBlock {
    pub bit_stable_on_same_hardware: Option<bool>,
    pub max_ulp: Option<Value>,
    pub max_relative: Option<Value>,
    pub max_absolute: Option<Value>,
    pub audited: Option<bool>,
    pub notes: Option<String>,
}

Precision block (§4.8) → PrecisionGuarantee. Bound fields are raw scalars (0, a float, or ~); the typed conversion is a lowering concern.

Fields

bit_stable_on_same_hardware: Option<bool>

Whether bit-stable on the same hardware.

max_ulp: Option<Value>

Max ULP error (~ ⇒ none).

max_relative: Option<Value>

Max relative error (~ ⇒ none).

max_absolute: Option<Value>

Max absolute error (~ ⇒ none).

audited: Option<bool>

false ⇒ UNAUDITED; true + all-null ⇒ none(reason) audited-no-bound.

notes: Option<String>

Free-text precision notes.

Trait Implementations

impl Clone for PrecisionBlock

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PrecisionBlock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PrecisionBlock

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.