law Bq.iatk

gralha-bendquest@0.1.0.0 · game.bend:576

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

576law Bq.iatk:
577  (@+k_0: Nat -> Nat)

Uses (3)

Used by (0)

No other definition uses this definition.