law Health.heal_agrees

gralha-bendquest@0.1.0.0 · health.bend:263

import Base

263law Health.heal_agrees:
264  for +hp: Nat
265  for +amount: Nat
266  for +maximum: Nat
267  {Health.heal(hp, amount, maximum) == Health.spec_heal(hp, amount, maximum) : Nat}