def count_zero_member.go

minebender-game@1.0.0.0 · proof_cells.bend:566

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

566def count_zero_member.go(+layout: T.Grid(Bool), +q: T.Pos, +t: List<&2, T.Pos>, +r: T.Pos,
567  mq: {B.mine(layout, q) == False{} : Bool}, +b: Bool, be: {B.same(q, r) == b : Bool},
568  m: {Bool.or(b, B.contains(t, r)) == True{} : Bool},
569  ih: {B.contains(t, r) == True{} : Bool} -> {B.mine(layout, r) == False{} : Bool}) ->
570  {B.mine(layout, r) == False{} : Bool}:
571  match b:
572    case True{}:
573      %PG.same_sound(q, r, be) : {B.mine(layout, _) == False{} : Bool}
574      mq
575    case False{}:
576      ih(m)