AlphaGitHub
Source/Packages

Runtime.TextArtifactRequest

packages/execution/src/Runtime/TextArtifactRequest.alpha

216 lines30 declarations8.0 KiBSHA-256 6a2321432bd7
Download exact fileView at revisionf5034773ad4bb52133

def · lines 169–179

textArtifactEncodedFieldTerminated

Full file
169def textArtifactEncodedFieldTerminated =
170  (lambda unrestricted offset : Nat .
171    (lambda unrestricted raw : Bytes .
172      (naturalAnd
173        (naturalNonzero
174          (byte-to-nat (dataBytesByteAtValidated raw offset)))
175        (naturalIsZero
176          (byte-to-nat
177            (dataBytesByteAtValidated
178              raw
179              (naturalAdd offset textArtifactPathMaximumLength)))))))

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.