law order_member

minebender-game@1.0.0.0 · proof_solver.bend:2020

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

2020law order_member:
2021  for +ts: List<&2, S.Todo>
2022  for +q: T.Pos
2023  for m: {tcontains(ts, q) == True{} : Bool}
2024  {tcontains(S.order(ts), q) == True{} : Bool}