def replicate

bend-collections-laws-crypto@1.0.0.0 · spec/lib/common.bend:147

import Base

147def replicate(-A: Data, n: Nat, +x: A) -> List<&2, A>:
148  match n:
149    case 0n:
150      Nil{}
151    case 1n+p:
152      Con{x, replicate(A, p, x)}