law Bq.iatk
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
576law Bq.iatk:
577 (@+k_0: Nat -> Nat)
Uses (3)
Used by (0)
No other definition uses this definition.
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
576law Bq.iatk:
577 (@+k_0: Nat -> Nat)
No other definition uses this definition.