law Health.cap_nat_word_positive

gralha-bendquest@0.1.0.0 · health.bend:510

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

510law Health.cap_nat_word_positive:
511  for +value: Nat
512  for +maximum: U32
513  for +positive: {G.Bq.Nat.le(1n, value) == True{} : Bool}
514  for +limit_positive: {G.Bq.Nat.le(1n, U32.to_nat(maximum)) == True{} : Bool}
515  {G.Bq.Nat.le(1n, U32.to_nat(Health.cap_nat_word(value, maximum))) == True{} : Bool}