def cbn

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/poly.bend as Poly

import Base

260def cbn(n: Nat, +k: Nat) -> Nat:
261  match n:
262    case 0n:
263      0n
264    case 1n+m:
265      Nat.add(k, cbn(m, k))

Uses (2)