law Numeric.below_full.go

gralha-bendquest@0.1.0.0 · numeric.bend:132

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

132law Numeric.below_full.go:
133  for +n: Nat
134  for +w: Word(n)
135  for +k: Nat
136  for +value: {Word.to_nat(n, w) == k : Nat}
137  for +below: {G.Bq.Nat.le(Succ{k}, Numeric.limit(n)) == True{} : Bool}
138  for +flag: Bool
139  for +test: {Numeric.full(n, w) == flag : Bool}
140  {flag == False{} : Bool}