def Rewards.level

gralha-bendquest@0.1.0.0 · rewards.bend:15

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

15def Rewards.level(hero: G.Bq.Hero) -> Nat:
16  match hero:
17    case G.Bq.Hero.Hero{inv, wea, arm, hel, charm, gold, level, strength, agility, vitality, points}:
18      level