snarkvm_console_network

Trait SubWrapped

Source
pub trait SubWrapped<Rhs = Self>
where Rhs: ?Sized,
{ type Output; // Required method fn sub_wrapped(&self, rhs: &Rhs) -> Self::Output; }
Expand description

Binary operator for subtracting two values, wrapping the difference if an underflow occurs.

Required Associated Types§

Required Methods§

Source

fn sub_wrapped(&self, rhs: &Rhs) -> Self::Output

Implementations on Foreign Types§

Source§

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

Source§

fn sub_wrapped( &self, other: &Integer<E, I>, ) -> <Integer<E, I> as SubWrapped>::Output

Returns the difference of self and other.

Source§

type Output = Integer<E, I>

Implementors§