law covers_pre

minebender-game@1.0.0.0 · proof_solver.bend:2609

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

2609# Cells still to do stay to do with more todos in front.
2610law covers_pre:
2611  for +pre: List<&2, S.Todo>
2612  for +base: List<&2, S.Todo>
2613  for +part: T.Grid(Maybe<&2, Bool>)
2614  for +ps: List<&2, T.Pos>
2615  for +cv: {PS.allp(~CV, ~cv_f, CV{base, part}, ps) == True{} : Bool}
2616  {PS.allp(~CV, ~cv_f, CV{List.append(&2, S.Todo, pre, base), part}, ps) == True{} : Bool}