def Health.spec_heal

gralha-bendquest@0.1.0.0 · health.bend:10

import Base
import gralha-bendquest@0.1.0.0/game.bend as G

10def Health.spec_heal(+hp: Nat, +amount: Nat, +maximum: Nat) -> Nat:
11  Health.spec_clamp(G.Bq.Nat.add(hp, amount), maximum)