law leaf_agree

minebender-game@1.0.0.0 · proof_solver.bend:877

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

877law leaf_agree:
878  for +part: T.Grid(Maybe<&2, Bool>)
879  for +layout: T.Grid(Bool)
880  for +ps: List<&2, T.Pos>
881  for +cv: {PS.allp(~CV, ~cv_f, CV{Nil{}, part}, ps) == True{} : Bool}
882  for +cm: {PS.allp(~CE, ~cmp_f, CE{part, layout}, ps) == True{} : Bool}
883  {PS.allp(~AG, ~ag_f, AG{S.fill(part), layout}, ps) == True{} : Bool}