Rewards.Rewards.go: def of gralha-bendquest@0.1.0.0
Import: import gralha-bendquest@0.1.0.0/rewards.bend as Rewards
Lines 59-60 of gralha-bendquest@0.1.0.0/rewards.bend: https://jend.leeeet.dev/read.txt?path=gralha-bendquest@0.1.0.0/rewards.bend&start_line=59&end_line=60

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

def Rewards.go(fuel: Nat, +hero: G.Bq.Hero, +xp: U32, levels: U32) -> Rewards.Result:
  Rewards.loop(fuel, Rewards.eligible(hero, xp), hero, xp, levels)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/game.bend&name=Bq.Hero
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/rewards.bend&name=Rewards.Result
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/rewards.bend&name=Rewards.eligible
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/rewards.bend&name=Rewards.loop