ProofCells.allp_member.go: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/proof_cells.bend as ProofCells
Lines 27-36 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=27&end_line=36

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 allp_member.go(~E: Data, ~f: E -> T.Pos -> Bool, +e: E, +p: T.Pos, +t: List<&2, T.Pos>, +q: T.Pos,
  +hd: {f(e, p) == True{} : Bool}, +b: Bool, be: {B.same(p, q) == b : Bool},
  m: {Bool.or(b, B.contains(t, q)) == True{} : Bool},
  ih: {B.contains(t, q) == True{} : Bool} -> {f(e, q) == True{} : Bool}) -> {f(e, q) == True{} : Bool}:
  match b:
    case True{}:
      %PG.same_sound(p, q, be) : {f(e, _) == True{} : Bool}
      hd
    case False{}:
      ih(m)

Uses (7):
  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=List
  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/proof_grid.bend&name=same_sound
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos