law Health.clamp_bounded

gralha-bendquest@0.1.0.0 · health.bend:326

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

326law Health.clamp_bounded:
327  for +hp: Nat
328  for +maximum: Nat
329  {G.Bq.Nat.le(Health.clamp(hp, maximum), maximum) == True{} : Bool}