def fill
import bend-collections-laws-crypto@1.0.0.0/src/crypto/random.bend as Randomimport Base
121def fill(n: Nat, f: Fill) -> Fill:
122 match n:
123 case 0n:
124 f
125 case 1n+k:
126 fill(k, take1(f))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/random.bend as Randomimport Base
121def fill(n: Nat, f: Fill) -> Fill:
122 match n:
123 case 0n:
124 f
125 case 1n+k:
126 fill(k, take1(f))