law u32_or_comm

bend-osdev-u32@0.1.0.0 · LAWS.bend:589

import Base

589law u32_or_comm:
590  for +a: U32
591  for +b: U32
592  {U32.or(a, b) == U32.or(b, a) : U32}