Trait snarkvm_wasm::algorithms::group::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

Implementors

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

type Output = Integer<E, I>