snarkvm_circuit_environment::traits

Trait Zero

Source
pub trait Zero {
    type Boolean: BooleanTrait;

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

Representation of the zero value.

Required Associated Types§

Required Methods§

Source

fn zero() -> Self
where Self: Sized,

Returns a new zero constant.

Source

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

Returns true if self is zero.

Implementors§