Trait CheckedSub

pub trait CheckedSub<Rhs = Self>: Sized {
    type Output;

    // Required method
    fn checked_sub(&self, rhs: Rhs) -> CtOption<Self>;
}

Checked substraction.

Required Associated Types

type Output

Output type.

Required Methods

fn checked_sub(&self, rhs: Rhs) -> CtOption<Self>

Perform checked subtraction, returning a CtOption which is_some only if the operation did not underflow.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl CheckedSub for Limb

type Output = Limb

impl<const LIMBS: usize> CheckedSub<&UInt<LIMBS>> for UInt<LIMBS>

type Output = UInt<LIMBS>