def ton_f

minebender-game@1.0.0.0 · proof_solver.bend:2553

import Base
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_cells.bend as PS

2553def ton_f(e: PS.WH, t: S.Todo) -> Bool:
2554  match t:
2555    case S.Todo{c, rel}:
2556      items_onb(e, rel)