law Numeric.word_bounded

gralha-bendquest@0.1.0.0 · numeric.bend:184

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

184law Numeric.word_bounded:
185  for +n: Nat
186  for +w: Word(n)
187  {G.Bq.Nat.le(Word.to_nat(n, w), Numeric.limit(n)) == True{} : Bool}