law Rewards.sidequest_nat_health

gralha-bendquest@0.1.0.0 · rewards.bend:218

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

218law Rewards.sidequest_nat_health:
219  for +quest: Nat
220  for +hero: G.Bq.Hero
221  for +hp: U32
222  for +ceiling: U32
223  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}
224  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(Rewards.sidequest_nat(quest, hero), ceiling))) == True{} : Bool}