ZZ | ZZ -- logical or

• Operator: |

• Usage:

  m | n

• Inputs:
  • m, an integer
  • n, an integer
• Outputs:
  • an integer, obtained from the bits of the integers m and n by logical 'or'.

i1 : 2^42 | 2^15 == 2^42 + 2^15

o1 = true