law or255

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:139

import Base

139law or255:
140  for +y: U32
141  {U32.is_eq(U32.or(y, 255), 0) == False{} : Bool}