185def checkpointEnvelopeZeros =
186 (lambda unrestricted count : Nat .
187 (bytes-builder-build
188 (nat-eliminate
189 (lambda unrestricted current : Nat . BytesBuilder)
190 (bytes-builder-chunk b"")
191 (lambda unrestricted p : Nat . (lambda unrestricted induction : BytesBuilder . (bytes-builder-append (bytes-builder-chunk (bytes 0)) induction)))
192 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.