ProofCells.touching_member.go: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/proof_cells.bend as ProofCells
Lines 431-444 of minebender-game@1.0.0.0/proof_cells.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/proof_cells.bend&start_line=431&end_line=444

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

def touching_member.go(+s: T.Pos, +e0: T.Pos, +t: List<&2, T.Pos>, +r: T.Pos,
  a: {B.adjacent(s, r) == True{} : Bool}, +b: Bool, be: {B.same(e0, r) == b : Bool},
  m: {Bool.or(b, B.contains(t, r)) == True{} : Bool},
  ih: {B.contains(t, r) == True{} : Bool} -> {B.contains(B.touching(s, t), r) == True{} : Bool}) ->
  {B.contains(List.filter.put(T.Pos, e0, B.touching(s, t), B.adjacent(s, e0)), r) == True{} : Bool}:
  match b:
    case True{}:
      %Equal.sym(T.Pos, e0, r, PG.same_sound(e0, r, be)) :
        {B.contains(List.filter.put(T.Pos, _, B.touching(s, t), B.adjacent(s, _)), r) == True{} : Bool}
      %Equal.sym(Bool, B.adjacent(s, r), True{}, a) :
        {B.contains(List.filter.put(T.Pos, r, B.touching(s, t), _), r) == True{} : Bool}
      PG.contains_cons_self(r, B.touching(s, t))
    case False{}:
      put_keeps(e0, B.touching(s, t), B.adjacent(s, e0), r, ih(m))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.filter.put
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=adjacent
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=contains
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=same
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=touching
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/proof_cells.bend&name=put_keeps
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/proof_grid.bend&name=contains_cons_self
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/proof_grid.bend&name=same_sound
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos