law ton_tall

minebender-game@1.0.0.0 · proof_solver.bend:2572

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
import minebender-game@1.0.0.0/proof_speed.bend as PF

2572law ton_tall:
2573  for +e: PS.WH
2574  for +ts: List<&2, S.Todo>
2575  {todos_onb(e, ts) == PF.tall(~PS.WH, ~ton_f, e, ts) : Bool}