119def textArtifactRequestEncodeUnchecked =
120 (lambda unrestricted request : (family TextArtifactRequest) .
121 (eliminate
122 TextArtifactRequest
123 (lambda unrestricted current : (family TextArtifactRequest) . Bytes)
124 request
125 (branch
126 TextArtifactRequestValue
127 operation
128 input
129 checkpointInput
130 checkpointOutput
131 predictionsOutput
132 resultOutput
133 checkpointTemporary
134 checkpointDirectory
135 .
136 (bytes-append
137 textArtifactRequestMagic
138 (bytes-append
139 (dataBytesWord64LE (modelWord64FromNaturalTruncated textArtifactRequestVersion))
140 (bytes-append
141 (dataBytesWord64LE
142 (modelWord64FromNaturalTruncated (textArtifactOperationWord operation)))
143 (bytes-append
144 (textArtifactEncodePath input)
145 (bytes-append
146 (textArtifactEncodePath checkpointInput)
147 (bytes-append
148 (textArtifactEncodePath checkpointOutput)
149 (bytes-append
150 (textArtifactEncodePath predictionsOutput)
151 (bytes-append
152 (textArtifactEncodePath resultOutput)
153 (bytes-append
154 (textArtifactEncodePath checkpointTemporary)
155 (textArtifactEncodePath checkpointDirectory)))))))))))))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.