~/jendhub

law Bq.do_alloc

gralha-bendquest@0.1.0.0 · game.bend:278

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

278law Bq.do_alloc:
279  (@+s_0: Nat -> (@+h_1: Bq.Hero -> Bq.Hero))

Uses (4)

Used by (1)