~/jendhub

law Bq.equip_ok

gralha-bendquest@0.1.0.0 · game.bend:398

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

398law Bq.equip_ok:
399  (@+k_0: Nat -> (@+h_1: Bq.Hero -> Bool))

Uses (10)

Used by (1)