law u32_div_zero
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
512law u32_div_zero:
513 for +a: U32
514 {U32.div(a, 0) == 0 : 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
512law u32_div_zero:
513 for +a: U32
514 {U32.div(a, 0) == 0 : U32}
No other definition uses this definition.