law Numeric.fits_bound

gralha-bendquest@0.1.0.0 · numeric.bend:236

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

236law Numeric.fits_bound:
237  for +n: Nat
238  for +k: Nat
239  for +fits: Numeric.Fits<n, k>
240  {G.Bq.Nat.le(k, Numeric.limit(n)) == True{} : Bool}