Module xor
Performs a bitwise XOR operation between self and other in the constraint system.
self
other