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