law Health.clamp_word_bounded

gralha-bendquest@0.1.0.0 · health.bend:369

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

369law Health.clamp_word_bounded:
370  for +hp: U32
371  for +maximum: U32
372  {G.Bq.Nat.le(U32.to_nat(Health.clamp_word(hp, maximum)), U32.to_nat(maximum)) == True{} : Bool}