gralha-bendquest@0.1.0.0 · game.bend:500
import gralha-bendquest@0.1.0.0/game.bend as Game
import Base 500law Bq.Nat.dbl: 501 (@+n_0: Nat -> Nat)