def rep

bend-osdev-crypto@0.1.0.0 · check.bend:336

import bend-osdev-crypto@0.1.0.0/check.bend as Check

import Base

336def rep(n: Nat, +s: String, acc: String) -> String:
337  match n:
338    case 0n:
339      acc
340    case 1n+p:
341      rep(p, s, cat(acc, s))

Uses (3)

Used by (1)

bend-osdev-crypto@0.1.0.0/check:main