def shown_in

minebender-game@1.0.0.0 · proof_inv.bend:20

import minebender-game@1.0.0.0/proof_inv.bend as ProofInv

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B

20def shown_in(g: T.Grid(Bool), q: T.Pos) -> Bool:
21  B.at(Bool, False{}, g, q)

Uses (4)

Used by (8)