gralha-bendquest@0.1.0.0 · game.bend:28
import gralha-bendquest@0.1.0.0/game.bend as Game
import Base 28law Bq.one: 29 (@+k_0: Nat -> Bq.Bag)