Trait snarkvm_circuit::environment::SubSaturating

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

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

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