def tok_f

minebender-game@1.0.0.0 · proof_solver.bend:2548

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S

2548def tok_f(l: T.Grid(Bool), t: S.Todo) -> Bool:
2549  match t:
2550    case S.Todo{c, rel}:
2551      S.items_ok(rel, l)