law Health.spec_clamp_decreases

gralha-bendquest@0.1.0.0 · health.bend:432

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

432law Health.spec_clamp_decreases:
433  for +a: Nat
434  for +b: Nat
435  {G.Bq.Nat.le(Health.spec_clamp(a, b), a) == True{} : Bool}