law Health.hurt_word_exact

gralha-bendquest@0.1.0.0 · health.bend:361

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

import Base

361law Health.hurt_word_exact:
362  for +hp: U32
363  for +damage: U32
364  {U32.to_nat(Health.hurt_word(hp, damage)) == Health.hurt(U32.to_nat(hp), U32.to_nat(damage)) : Nat}

Uses (9)

Used by (4)