law contains_cons_self

minebender-game@1.0.0.0 · proof_grid.bend:219

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

219law contains_cons_self:
220  for +p: T.Pos
221  for +xs: List<&2, T.Pos>
222  {B.contains(p <> xs, p) == True{} : Bool}