Trait snarkvm_circuit::Zero

source ·
pub trait Zero {
    type Boolean: BooleanTrait;

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

Representation of the zero value.

Required Associated Types§

Required Methods§

Returns a new zero constant.

Returns true if self is zero.

Trait Implementations§

Returns the number of constants, public inputs, private inputs, and constraints.
Returns the number of constants, public inputs, private inputs, and constraints.
Returns the mode of the output.
Returns the mode of the output.

Implementors§