Trait snarkvm_console_program::address::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

Implementors

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

type Output = Integer<E, I>