Trait FullOps

Required Methods

fn full_mul_add(self, other: Self, other2: Self, carry: Self) -> (Self, Self)

Returns (carry', v') such that carry' * 2^W + v' = self * other + other2 + carry, where W is the number of bits in Self.

fn full_div_rem(self, other: Self, borrow: Self) -> (Self, Self)

Returns (quo, rem) such that borrow * 2^W + self = quo * other + rem and 0 <= rem < other, where W is the number of bits in Self.