Enum FloatType 

#[non_exhaustive]
pub enum FloatType {
    F16,
    BF16,
    F32,
}

Floating-point type covered by an exhaustive verification pass.

Example: FloatType::F32 records that a law was checked over IEEE 754 binary32 inputs.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

F16

IEEE 754 binary16.

BF16

bfloat16.

F32

IEEE 754 binary32.

Trait Implementations

impl Clone for FloatType

fn clone(&self) -> FloatType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FloatType

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

Formats the value using the given formatter.

impl PartialEq for FloatType

fn eq(&self, other: &FloatType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for FloatType

impl StructuralPartialEq for FloatType