def Health.heal_word
import gralha-bendquest@0.1.0.0/health.bend as Healthimport Base
320def Health.heal_word(hp: U32, amount: U32, maximum: U32) -> U32:
321 U32.from_nat(Health.heal(U32.to_nat(hp), U32.to_nat(amount), U32.to_nat(maximum)))
import gralha-bendquest@0.1.0.0/health.bend as Healthimport Base
320def Health.heal_word(hp: U32, amount: U32, maximum: U32) -> U32:
321 U32.from_nat(Health.heal(U32.to_nat(hp), U32.to_nat(amount), U32.to_nat(maximum)))