law put_keeps

minebender-game@1.0.0.0 · proof_cells.bend:415

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

415law put_keeps:
416  for +e0: T.Pos
417  for +xs: List<&2, T.Pos>
418  for +c: Bool
419  for +r: T.Pos
420  for m: {B.contains(xs, r) == True{} : Bool}
421  {B.contains(List.filter.put(T.Pos, e0, xs, c), r) == True{} : Bool}