law Rewards.sidequest_health

gralha-bendquest@0.1.0.0 · rewards.bend:254

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

254law Rewards.sidequest_health:
255  for +hero: G.Bq.Hero
256  for +quest: U32
257  for +hp: U32
258  for +ceiling: U32
259  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}
260  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(Rewards.sidequest(hero, quest), ceiling))) == True{} : Bool}