law covers_skip

minebender-game@1.0.0.0 · proof_solver.bend:736

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

736law covers_skip:
737  for +c: T.Pos
738  for +rel: List<&2, S.Item>
739  for +rest: List<&2, S.Todo>
740  for +part: T.Grid(Maybe<&2, Bool>)
741  for +fr: {S.is_none(S.look(part, c)) == False{} : Bool}
742  for +ps: List<&2, T.Pos>
743  for +cv: {PS.allp(~CV, ~cv_f, CV{S.Todo{c, rel} <> rest, part}, ps) == True{} : Bool}
744  {PS.allp(~CV, ~cv_f, CV{rest, part}, ps) == True{} : Bool}