law Bq.alloc_ok

gralha-bendquest@0.1.0.0 · game.bend:458

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

458law Bq.alloc_ok:
459  (@+h_0: Bq.Hero -> Bool)

Uses (3)

Used by (2)