law contains_cells

minebender-game@1.0.0.0 · proof_cells.bend:221

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

221law contains_cells:
222  for +w: Nat
223  for +ys: List<&2, Nat>
224  for +x: Nat
225  for +y: Nat
226  for +xm: {memn(List.range(w), x) == True{} : Bool}
227  for e: {memn(ys, y) == True{} : Bool}
228  {B.contains(B.cells.go(w, ys), T.Pos{x, y}) == True{} : Bool}