law Rewards.maximum_positive

gralha-bendquest@0.1.0.0 · rewards.bend:274

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

274law Rewards.maximum_positive:
275  for +hero: G.Bq.Hero
276  for +ceiling: U32
277  for +limit_positive: {G.Bq.Nat.le(1n, U32.to_nat(ceiling)) == True{} : Bool}
278  {G.Bq.Nat.le(1n, U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}