Trait snarkvm_gadgets::integers::uint::arithmetic::sub::Sub [−][src]
pub trait Sub<F: Field, Rhs = Self> where
Self: Sized, { type ErrorType; fn sub<CS: ConstraintSystem<F>>(
&self,
cs: CS,
other: &Self
) -> Result<Self, Self::ErrorType>; }
Expand description
Returns subtraction of self
- other
in the constraint system.