~/jendhub

law Bq.slot_empty

gralha-bendquest@0.1.0.0 · game.bend:334

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

334law Bq.slot_empty:
335  (@+m_0: Bq.Maybe(Nat) -> Bool)

Uses (4)

Used by (6)