def rsum

minebender-game@1.0.0.0 · proof_gen.bend:1057

import Base

1057# Each row near the first click's row, counted c times.
1058def rsum(+fy: Nat, +c: Nat, ys: List<&2, Nat>) -> Nat:
1059  match ys:
1060    case Nil{}:
1061      0n
1062    case y <> t:
1063      Nat.add(Bool.pick(Nat, nr(fy, y), c, 0n), rsum(fy, c, t))