~/jendhub

law Bq.walk

gralha-bendquest@0.1.0.0 · game.bend:640

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

640law Bq.walk:
641  (@+w_0: Nat -> (@+h_1: Nat -> (@+x_2: Nat -> (@+y_3: Nat -> (@+d_4: Bq.Dir -> Bq.Pair.Pair(Nat, (__5 => Nat)))))))

Uses (6)

Used by (0)

No other definition uses this definition.