def count_mines

minebender-game@1.0.0.0 · board.bend:65

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

65def count_mines(+layout: T.Grid(Bool), ps: List<&2, T.Pos>) -> Nat:
66  match ps:
67    case Nil{}:
68      0n
69    case q <> t:
70      Nat.add(Bool.pick(Nat, mine(layout, q), 1n, 0n), count_mines(layout, t))