law Health.hurt_word_zero

gralha-bendquest@0.1.0.0 · health.bend:539

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

539law Health.hurt_word_zero:
540  for +hp: U32
541  for +damage: U32
542  for +lethal: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(damage)) == True{} : Bool}
543  {U32.to_nat(Health.hurt_word(hp, damage)) == 0n : Nat}