law Growth.le_add_prefix

gralha-bendquest@0.1.0.0 · growth.bend:9

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

9law Growth.le_add_prefix:
10  for +prefix: Nat
11  for +value: Nat
12  {G.Bq.Nat.le(value, G.Bq.Nat.add(prefix, value)) == True{} : Bool}