~/jendhub

law Bq.walk_y

gralha-bendquest@0.1.0.0 · game.bend:620

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

620law Bq.walk_y:
621  (@+h_0: Nat -> (@+y_1: Nat -> (@+d_2: Bq.Dir -> Nat)))

Uses (5)

Used by (4)