law or_comm

lawful-words@0.1.0.0 · proof_bytes.bend:1401

import Base

1401law or_comm:
1402  for +a: U32
1403  for +b: U32
1404  {U32.or(a, b) == U32.or(b, a) : U32}