law Numeric.word_roundtrip

gralha-bendquest@0.1.0.0 · numeric.bend:45

import Base

45law Numeric.word_roundtrip:
46  for +n: Nat
47  for +w: Word(n)
48  {Numeric.encode(n, Word.to_nat(n, w)) == w : Word(n)}