law Health.spec_hurt_survives

gralha-bendquest@0.1.0.0 · health.bend:156

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

156law Health.spec_hurt_survives:
157  for +hp: Nat
158  for +damage: Nat
159  for +below: {G.Bq.Nat.lt(damage, hp) == True{} : Bool}
160  {G.Bq.Nat.le(1n, Health.spec_hurt(hp, damage)) == True{} : Bool}