law Rewards.add_item_health

gralha-bendquest@0.1.0.0 · rewards.bend:170

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

170law Rewards.add_item_health:
171  for +hero: G.Bq.Hero
172  for +kind: U32
173  for +hp: U32
174  for +ceiling: U32
175  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}
176  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(Rewards.add_item(hero, kind), ceiling))) == True{} : Bool}