law contains_remove_other

minebender-game@1.0.0.0 · proof_grid.bend:281

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B

281law contains_remove_other:
282  for +xs: List<&2, T.Pos>
283  for +p: T.Pos
284  for +q: T.Pos
285  for +d: {B.same(p, q) == False{} : Bool}
286  {B.contains(B.remove(xs, p), q) == B.contains(xs, q) : Bool}