Trait snarkvm_circuit::One

source ·
pub trait One {
    type Boolean: BooleanTrait;

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

Representation of the one value.

Required Associated Types§

Required Methods§

Returns a new one constant.

Returns true if self is one.

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§