law Numeric.nat_roundtrip

gralha-bendquest@0.1.0.0 · numeric.bend:151

import Base
import gralha-bendquest@0.1.0.0/game.bend as G

151law Numeric.nat_roundtrip:
152  for +n: Nat
153  for +k: Nat
154  for +fits: {G.Bq.Nat.le(k, Numeric.limit(n)) == True{} : Bool}
155  {Word.to_nat(n, Numeric.encode(n, k)) == k : Nat}