law Health.clamp_decreases

gralha-bendquest@0.1.0.0 · health.bend:448

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

448law Health.clamp_decreases:
449  for +a: Nat
450  for +b: Nat
451  {G.Bq.Nat.le(Health.clamp(a, b), a) == True{} : Bool}