law Health.heal_word_bounded

gralha-bendquest@0.1.0.0 · health.bend:378

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

378law Health.heal_word_bounded:
379  for +hp: U32
380  for +amount: U32
381  for +maximum: U32
382  {G.Bq.Nat.le(U32.to_nat(Health.heal_word(hp, amount, maximum)), U32.to_nat(maximum)) == True{} : Bool}