law Health.hurt_word_survives

gralha-bendquest@0.1.0.0 · health.bend:410

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

410law Health.hurt_word_survives:
411  for +hp: U32
412  for +damage: U32
413  for +below: {G.Bq.Nat.lt(U32.to_nat(damage), U32.to_nat(hp)) == True{} : Bool}
414  {G.Bq.Nat.le(1n, U32.to_nat(Health.hurt_word(hp, damage))) == True{} : Bool}