~/jendhub

def cmp_f.go

minebender-game@1.0.0.0 · proof_solver.bend:202

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B
import minebender-game@1.0.0.0/solver.bend as S

202def cmp_f.go(e: CE, +q: T.Pos) -> Bool:
203  match e:
204    case CE{part, layout}:
205      cmp_cell(S.look(part, q), B.mine(layout, q))

Uses (6)

Used by (1)