def row_false

minebender-game@1.0.0.0 · board.bend:117

import Base

117def row_false(row: List<&2, Bool>) -> Nat:
118  match row:
119    case Nil{}:
120      0n
121    case b <> t:
122      Nat.add(Bool.pick(Nat, b, 0n, 1n), row_false(t))