def sumv

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/canon.bend:102

import Base

102def sumv(xs: List<&2, U32>) -> Nat:
103  match xs:
104    case Nil{}:
105      0n
106    case Con{x, xt}:
107      Nat.add(U32.to_nat(x), sumv(xt))