Trait snarkvm_console_algorithms::environment::AbsChecked

pub trait AbsChecked {
    type Output;

    // Required method
    fn abs_checked(self) -> Self::Output;
}

Unary operator for retrieving the absolute value, enforcing an overflow never occurs.

Required Associated Types

type Output

Required Methods

fn abs_checked(self) -> Self::Output

Implementations on Foreign Types

impl<E, I> AbsChecked for Integer<E, I>where E: Environment, I: IntegerType,

fn abs_checked(self) -> <Integer<E, I> as AbsChecked>::Output

Returns the absolute value of self.

type Output = Integer<E, I>

Implementors