def con_f

minebender-game@1.0.0.0 · proof_speed.bend:402

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

402def con_f(e: PS.WH, t: S.Todo) -> Bool:
403  match t:
404    case S.Todo{c, rel}:
405      PS.onb(e, c)