def cb

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/poly.bend:252

import Base

252# len(xs) * k
253def cb(xs: List<&2, U32>, +k: Nat) -> Nat:
254  match xs:
255    case Nil{}:
256      0n
257    case Con{x, xt}:
258      Nat.add(k, cb(xt, k))