~/jendhub

law Health.clamp_word_exact

gralha-bendquest@0.1.0.0 · health.bend:344

import gralha-bendquest@0.1.0.0/health.bend as Health
import Base

344law Health.clamp_word_exact:
345  for +hp: U32
346  for +maximum: U32
347  {U32.to_nat(Health.clamp_word(hp, maximum)) == Health.clamp(U32.to_nat(hp), U32.to_nat(maximum)) : Nat}

Uses (9)

Used by (1)