law ton_order

minebender-game@1.0.0.0 · proof_solver.bend:1876

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

1876law ton_order:
1877  for +e: PS.WH
1878  for +ts: List<&2, S.Todo>
1879  for +h: {todos_onb(e, ts) == True{} : Bool}
1880  {todos_onb(e, S.nears(ts)) == True{} : Bool}