law allp_append

minebender-game@1.0.0.0 · proof_cells.bend:263

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

263law allp_append:
264  for ~E: Data
265  for ~f: E -> T.Pos -> Bool
266  for +e: E
267  for +xs: List<&2, T.Pos>
268  for +ys: List<&2, T.Pos>
269  for +a: {allp(~E, ~f, e, xs) == True{} : Bool}
270  for b: {allp(~E, ~f, e, ys) == True{} : Bool}
271  {allp(~E, ~f, e, List.append(&2, T.Pos, xs, ys)) == True{} : Bool}