law tcontains_pre

minebender-game@1.0.0.0 · proof_solver.bend:2585

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

2585law tcontains_pre:
2586  for +pre: List<&2, S.Todo>
2587  for +base: List<&2, S.Todo>
2588  for +q: T.Pos
2589  for e: {tcontains(base, q) == True{} : Bool}
2590  {tcontains(List.append(&2, S.Todo, pre, base), q) == True{} : Bool}