snarkvm_circuit_environment::traits

Trait 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§

Required Methods§

Source

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

Returns a new one constant.

Source

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

Returns true if self is one.

Implementors§