Trait ZeroablePrimitiveSpec 

pub trait ZeroablePrimitiveSpec:
    Sized
    + Copy
    + ZeroablePrimitive {
    // Required method
    spec fn is_zero(self) -> bool;
}

Required Methods

spec fn is_zero(self) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<VERUS_SPEC__A: ZeroablePrimitive + Sized> ZeroablePrimitiveSpec for VERUS_SPEC__A