law order_split

minebender-game@1.0.0.0 · proof_solver.bend:1990

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S

1990# A to-do cell is in the near part or the far part.
1991law order_split:
1992  for +ts: List<&2, S.Todo>
1993  for +q: T.Pos
1994  for m: {tcontains(ts, q) == True{} : Bool}
1995  {Bool.or(tcontains(S.nears(ts), q), tcontains(S.fars(ts), q)) == True{} : Bool}