law u32_mod_zero
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
516law u32_mod_zero:
517 for +a: U32
518 {U32.mod(a, 0) == a : U32}
Uses (2)
Used by (0)
No other definition uses this definition.
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
516law u32_mod_zero:
517 for +a: U32
518 {U32.mod(a, 0) == a : U32}
No other definition uses this definition.