def row_mines

minebender-game@1.0.0.0 · board.bend:75

import Base

75def row_mines(row: List<&2, Bool>) -> Nat:
76  match row:
77    case Nil{}:
78      0n
79    case b <> t:
80      Nat.add(Bool.pick(Nat, b, 1n, 0n), row_mines(t))