~/jendhub

law Bq.Bool.BoolD

gralha-bendquest@0.1.0.0 · game.bend:754

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

754law Bq.Bool.BoolD:
755  (@+x_0: Bool -> (@tc_1: Data -> (@fc_2: Data -> Data)))

Uses (1)

Used by (1)