law Health.clamp_monotone

gralha-bendquest@0.1.0.0 · health.bend:457

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

457law Health.clamp_monotone:
458  for +a: Nat
459  for +b: Nat
460  for +maximum: Nat
461  for +grow: {G.Bq.Nat.le(a, b) == True{} : Bool}
462  {G.Bq.Nat.le(Health.clamp(a, maximum), Health.clamp(b, maximum)) == True{} : Bool}