def List.replicate

Base · base.bend:1049

1049def List.replicate(-A: Data, n: Nat, +x: A) -> List<&2, A>:
1050  match n:
1051    case 0n:
1052      Nil{}
1053    case 1n+p:
1054      x <> List.replicate(A, p, x)