law Rewards.loop_health

gralha-bendquest@0.1.0.0 · rewards.bend:77

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

77law Rewards.loop_health:
78  for +fuel: Nat
79  for +eligible: Bool
80  for +hero: G.Bq.Hero
81  for +xp: U32
82  for +levels: U32
83  for +hp: U32
84  for +ceiling: U32
85  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(hero, ceiling))) == True{} : Bool}
86  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Rewards.maximum(Rewards.hero(Rewards.loop(fuel, eligible, hero, xp, levels)), ceiling))) == True{} : Bool}