Trait verified::NonZero

pub trait NonZero { }

A marker trait to designate that a type is not zero. All number types in this crate implement NonZero except B0, U0, and Z0.

Implementors

impl NonZero for B1

impl<U> NonZero for NInt<U> where
    U: NonZero + Unsigned, 

impl<U> NonZero for PInt<U> where
    U: NonZero + Unsigned, 

impl<U, B> NonZero for UInt<U, B> where
    B: Bit,
    U: Unsigned, 

Loading content...