Trait snarkvm_circuit_environment::traits::operators::One

source · 
pub trait One {
    type Boolean: BooleanTrait;

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

Representation of the one value.

Required Associated Types§

source

type Boolean: BooleanTrait

Required Methods§

source

fn one() -> Selfwhere Self: Sized,

Returns a new one constant.

source

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

Returns true if self is one.

Implementors§