def rsum

minebender-game@1.0.0.0 · proof_sums.bend:56

import Base

56def rsum(~A: Data, ~f: A -> Nat, r: List<&2, A>) -> Nat:
57  match r:
58    case Nil{}:
59      0n
60    case a <> t:
61      Nat.add(f(a), rsum(~A, ~f, t))