law Health.heal_word_never_harms

gralha-bendquest@0.1.0.0 · health.bend:388

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

388law Health.heal_word_never_harms:
389  for +hp: U32
390  for +amount: U32
391  for +maximum: U32
392  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(maximum)) == True{} : Bool}
393  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Health.heal_word(hp, amount, maximum))) == True{} : Bool}