law Numeric.fits_downward

gralha-bendquest@0.1.0.0 · numeric.bend:280

import gralha-bendquest@0.1.0.0/numeric.bend as Numeric

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

280law Numeric.fits_downward:
281  for +n: Nat
282  for +lower: Nat
283  for +upper: Nat
284  for +fits: Numeric.Fits<n, upper>
285  for +below: {G.Bq.Nat.le(lower, upper) == True{} : Bool}
286  Numeric.Fits<n, lower>

Uses (9)

Used by (4)