snarkvm_console_collections::integers

Trait AbsChecked

Source
pub trait AbsChecked {
    type Output;

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

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

Required Associated Types§

Required Methods§

Source

fn abs_checked(self) -> Self::Output

Implementors§

Source§

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

Source§

type Output = Integer<E, I>