law uorm

lawful-bytes@0.1.1.0 · proof_fast_w2.bend:73

import Base

73law uorm:
74  for +a: U32
75  for +b: U32
76  for +h: U32
77  {U32.is_zero(U32.and(U32.or(a, b), h)) == Bool.and(U32.is_zero(U32.and(a, h)), U32.is_zero(U32.and(b, h))) : Bool}