Module sub
leo_gadgets::arithmetic
Returns subtraction of self - other in the constraint system.
self
other