Trait oberon::inner_types::elliptic_curve::bigint::prelude::CheckedSub
pub trait CheckedSub<Rhs = Self>: Sized {
type Output;
// Required method
fn checked_sub(&self, rhs: Rhs) -> CtOption<Self>;
}
Expand description
Checked subtraction.
Required Associated Types§
type Output
type Output
Output type.
Required Methods§
fn checked_sub(&self, rhs: Rhs) -> CtOption<Self>
fn checked_sub(&self, rhs: Rhs) -> CtOption<Self>
Perform checked subtraction, returning a CtOption
which is_some
only if the operation did not underflow.