Trait snarkvm_console_network::AbsChecked

pub trait AbsChecked {
    type Output;

    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