def Health.hurt_word

import gralha-bendquest@0.1.0.0/health.bend as Health

import Base

323def Health.hurt_word(hp: U32, damage: U32) -> U32:
324  U32.from_nat(Health.hurt(U32.to_nat(hp), U32.to_nat(damage)))

Uses (4)