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

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 count_zero_member.go(+layout: T.Grid(Bool), +q: T.Pos, +t: List<&2, T.Pos>, +r: T.Pos,
  mq: {B.mine(layout, q) == False{} : Bool}, +b: Bool, be: {B.same(q, r) == b : Bool},
  m: {Bool.or(b, B.contains(t, r)) == True{} : Bool},
  ih: {B.contains(t, r) == True{} : Bool} -> {B.mine(layout, r) == False{} : Bool}) ->
  {B.mine(layout, r) == False{} : Bool}:
  match b:
    case True{}:
      %PG.same_sound(q, r, be) : {B.mine(layout, _) == False{} : Bool}
      mq
    case False{}:
      ih(m)

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