law ton_order_f

minebender-game@1.0.0.0 · proof_solver.bend:1889

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

1889law ton_order_f:
1890  for +e: PS.WH
1891  for +ts: List<&2, S.Todo>
1892  for +h: {todos_onb(e, ts) == True{} : Bool}
1893  {todos_onb(e, S.fars(ts)) == True{} : Bool}