law Health.spec_clamp_bounded

gralha-bendquest@0.1.0.0 · health.bend:50

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

50law Health.spec_clamp_bounded:
51  for +hp: Nat
52  for +maximum: Nat
53  {G.Bq.Nat.le(Health.spec_clamp(hp, maximum), maximum) == True{} : Bool}