def Rewards.eligible

gralha-bendquest@0.1.0.0 · rewards.bend:42

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

42def Rewards.eligible(+hero: G.Bq.Hero, +xp: U32) -> Bool:
43  +level = U32.from_nat(Rewards.level(hero))
44  Bool.and(U32.is_lt(level, 20), U32.is_ge(xp, Rewards.cost(level)))