def row_mines

minebender-game@1.0.0.0 · LAWS.bend:94

import Base

94def row_mines(row: List<&2, Bool>) -> Nat:
95  match row:
96    case Nil{}:
97      0n
98    case b <> t:
99      Nat.add(Bool.pick(Nat, b, 1n, 0n), row_mines(t))