law or0r

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:129

import Base

129law or0r:
130  for +y: U32
131  {U32.or(y, 0) == y : U32}