def solve

minebender-game@1.0.0.0 · solver.bend:538

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

538# A provably safe hidden cell, or None when every hidden cell might hold a
539# mine.
540def solve(k: T.Knowledge) -> Maybe<&2, T.Pos>:
541  match k:
542    case T.Knowledge{+w, +h, n, +rows}:
543      solve.go(B.shaped(T.Seen, w, h, rows), hidden_cells(rows, B.cells(w, h)), w, h, n, rows)