192def checkpointEnvelopeZeros =
193 (lambda unrestricted count : Nat .
194 (bytes-builder-build
195 (nat-eliminate
196 (lambda unrestricted current : Nat . BytesBuilder)
197 (bytes-builder-chunk b"")
198 (lambda unrestricted p : Nat . (lambda unrestricted induction : BytesBuilder . (bytes-builder-append (bytes-builder-chunk (bytes 0)) induction)))
199 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.