law Health.spec_heal_bounded

gralha-bendquest@0.1.0.0 · health.bend:102

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

102law Health.spec_heal_bounded:
103  for +hp: Nat
104  for +amount: Nat
105  for +maximum: Nat
106  {G.Bq.Nat.le(Health.spec_heal(hp, amount, maximum), maximum) == True{} : Bool}