law touching_member

minebender-game@1.0.0.0 · proof_cells.bend:446

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

446law touching_member:
447  for +s: T.Pos
448  for +xs: List<&2, T.Pos>
449  for +r: T.Pos
450  for +a: {B.adjacent(s, r) == True{} : Bool}
451  for m: {B.contains(xs, r) == True{} : Bool}
452  {B.contains(B.touching(s, xs), r) == True{} : Bool}