Repeat a complete chunk, materializing once. This does not repeatedly
copy a growing suffix as bytes-cons/bytes-append in a linear fold would.
352def dataBytesRepeat = (lambda unrestricted chunk : Bytes . (lambda unrestricted count : Nat .
353 (bytes-builder-build (nat-eliminate (lambda unrestricted n : Nat . BytesBuilder)
354 (bytes-builder-empty)
355 (lambda unrestricted index : Nat . (lambda unrestricted previous : BytesBuilder .
356 (bytes-builder-append previous (bytes-builder-chunk chunk)))) count))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.