Trait snarkvm_circuit::SubSaturating

pub trait SubSaturating<Rhs = Self> where
    Rhs: ?Sized, {
    type Output;

    fn sub_saturating(&self, rhs: &Rhs) -> Self::Output;
}

Expand description

Binary operator for subtracting two values, bounding the difference to MIN if an underflow occurs.

Required Associated Types

type Output

Required Methods

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

Implementors