law contains_row

minebender-game@1.0.0.0 · proof_cells.bend:176

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

176law contains_row:
177  for +y: Nat
178  for +xs: List<&2, Nat>
179  for +x: Nat
180  for e: {memn(xs, x) == True{} : Bool}
181  {B.contains(B.row_cells(y, xs), T.Pos{x, y}) == True{} : Bool}