law word_zero_value
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
68law word_zero_value:
69 for +n: Nat
70 {Word.to_nat(n, Word.zero(n)) == 0n : Nat}
import bend-osdev-u32@0.1.0.0/LAWS.bend as LAWSimport Base
68law word_zero_value:
69 for +n: Nat
70 {Word.to_nat(n, Word.zero(n)) == 0n : Nat}