~/jendhub

law Bq.do_buy

gralha-bendquest@0.1.0.0 · game.bend:256

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

256law Bq.do_buy:
257  (@+k_0: Nat -> (@+h_1: Bq.Hero -> Bq.Hero))

Uses (6)

Used by (1)