law Health.hurt_agrees

gralha-bendquest@0.1.0.0 · health.bend:243

import Base

243law Health.hurt_agrees:
244  for +hp: Nat
245  for +damage: Nat
246  {Health.hurt(hp, damage) == Health.spec_hurt(hp, damage) : Nat}