~/jendhub

law Bq.crit_dbl

gralha-bendquest@0.1.0.0 · game.bend:526

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

526law Bq.crit_dbl:
527  (@+crit_0: Bool -> (@+raw_1: Nat -> Nat))

Uses (3)

Used by (3)