law row_on

minebender-game@1.0.0.0 · proof_cells.bend:367

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

367law row_on:
368  for +w: Nat
369  for +h: Nat
370  for +y: Nat
371  for +xs: List<&2, Nat>
372  for +yh: {Nat.is_lt(y, h) == True{} : Bool}
373  for +xw: {alln(xs, w) == True{} : Bool}
374  {allp(~WH, ~onb, WH{w, h}, B.row_cells(y, xs)) == True{} : Bool}