def folds

import bend-collections@1.0.0.0/spec/crypto/poly1305.bend as Poly1305

import Base

32def folds(n: Nat, x: Nat) -> Nat:
33  match n:
34    case 0n: x
35    case 1n+k: folds(k, fold(x))

Uses (2)