Module add
leo_gadgets::arithmetic
Returns addition of self + other in the constraint system.
self
other