law u32_and_comm
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
584law u32_and_comm:
585 for +a: U32
586 for +b: U32
587 {U32.and(a, b) == U32.and(b, a) : U32}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
584law u32_and_comm:
585 for +a: U32
586 for +b: U32
587 {U32.and(a, b) == U32.and(b, a) : U32}