Module mul
leo_gadgets::arithmetic
Returns multiplication of self * other in the constraint system.
self
other