~/jendhub

law Rewards.loop_equipped

gralha-bendquest@0.1.0.0 · rewards.bend:113

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

113law Rewards.loop_equipped:
114  for +fuel: Nat
115  for +eligible: Bool
116  for +hero: G.Bq.Hero
117  for +xp: U32
118  for +levels: U32
119  for +valid: G.Bq.WellEquipped(hero)
120  G.Bq.WellEquipped(Rewards.hero(Rewards.loop(fuel, eligible, hero, xp, levels)))

Uses (16)

Used by (1)