~/jendhub

law Bq.slot_of

gralha-bendquest@0.1.0.0 · game.bend:404

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

404law Bq.slot_of:
405  (@+h_0: Bq.Hero -> (@+s_1: Bq.ISlot -> Bq.Maybe(Nat)))

Uses (5)

Used by (4)