def string.of

bend-kit-property@0.4.0.0 · generate.bend:52

import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

52# Exactly n printable ASCII chars.
53def string.of(n: Nat, r: Rand.Rng) -> String & Rand.Rng:
54  match n:
55    case 0n:
56      (SNil{}, r)
57    case 1n+p:
58      string.go(p, SNil{}, char(r))