Trait snarkvm_circuit_environment::traits::Zero

pub trait Zero {
    type Boolean: BooleanTrait;

    // Required methods
    fn zero() -> Self
       where Self: Sized;
    fn is_zero(&self) -> Self::Boolean;
}

Representation of the zero value.

Required Associated Types

type Boolean: BooleanTrait

Required Methods

fn zero() -> Selfwhere Self: Sized,

Returns a new zero constant.

fn is_zero(&self) -> Self::Boolean

Returns true if self is zero.

Implementors