law Bq.iprice

gralha-bendquest@0.1.0.0 · game.bend:250

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

250law Bq.iprice:
251  (@+k_0: Nat -> Nat)

Uses (3)

Used by (6)