~/jendhub

law Bq.walk_x

gralha-bendquest@0.1.0.0 · game.bend:606

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

606law Bq.walk_x:
607  (@+w_0: Nat -> (@+x_1: Nat -> (@+d_2: Bq.Dir -> Nat)))

Uses (5)

Used by (4)