def String.repeat

Base · base.bend:2220

import Base

2220def String.repeat(+s: String, n: Nat) -> String:
2221  match n:
2222    case 0n:
2223      SNil{}
2224    case 1n+p:
2225      String.append(s, String.repeat(s, p))

Uses (3)

Used by (27)