law Health.le_add

gralha-bendquest@0.1.0.0 · health.bend:111

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

111law Health.le_add:
112  for +hp: Nat
113  for +amount: Nat
114  {G.Bq.Nat.le(hp, G.Bq.Nat.add(hp, amount)) == True{} : Bool}