law Numeric.zero_value
import gralha-bendquest@0.1.0.0/numeric.bend as Numericimport Base
66law Numeric.zero_value:
67 for +n: Nat
68 {Word.to_nat(n, Word.zero(n)) == 0n : Nat}
import gralha-bendquest@0.1.0.0/numeric.bend as Numericimport Base
66law Numeric.zero_value:
67 for +n: Nat
68 {Word.to_nat(n, Word.zero(n)) == 0n : Nat}