law Health.heal_word_exact
import gralha-bendquest@0.1.0.0/health.bend as Healthimport Base
352law Health.heal_word_exact:
353 for +hp: U32
354 for +amount: U32
355 for +maximum: U32
356 {U32.to_nat(Health.heal_word(hp, amount, maximum)) == Health.heal(U32.to_nat(hp), U32.to_nat(amount), U32.to_nat(maximum)) : Nat}