1279def sha256DigestExecute =
1280 (lambda unrestricted input : Bytes .
1281 (eliminate
1282 SHA256ContextUpdateResult
1283 (lambda unrestricted current : (family SHA256ContextUpdateResult) .
1284 (family SHA256DigestExecutionResult))
1285 (sha256Update sha256InitialContext input)
1286 (branch
1287 SHA256ContextUpdateSucceeded
1288 context
1289 updateTelemetry
1290 .
1291 (eliminate
1292 SHA256UpdateTelemetry
1293 (lambda unrestricted current : (family SHA256UpdateTelemetry) .
1294 (family SHA256DigestExecutionResult))
1295 updateTelemetry
1296 (branch
1297 SHA256UpdateTelemetryValue
1298 inputBytes
1299 totalBefore
1300 pendingBefore
1301 combinedBytes
1302 compressedBytes
1303 compressedBlocks
1304 pendingAfter
1305 totalAfter
1306 updateOperations
1307 .
1308 (eliminate
1309 SHA256ContextFinalizeResult
1310 (lambda unrestricted current : (family SHA256ContextFinalizeResult) .
1311 (family SHA256DigestExecutionResult))
1312 (sha256Finalize context)
1313 (branch
1314 SHA256ContextFinalizeSucceeded
1315 digest
1316 finalizeTelemetry
1317 .
1318 (eliminate
1319 SHA256FinalizeTelemetry
1320 (lambda unrestricted current : (family SHA256FinalizeTelemetry) .
1321 (family SHA256DigestExecutionResult))
1322 finalizeTelemetry
1323 (branch
1324 SHA256FinalizeTelemetryValue
1325 finalTotal
1326 finalPending
1327 bitLength
1328 zeroBytes
1329 finalBytes
1330 finalBlocks
1331 digestBytes
1332 finalOperations
1333 .
1334 (constructor
1335 SHA256DigestExecutionResult
1336 SHA256DigestExecutionSucceeded
1337 digest
1338 (sha256DigestTelemetryCombine
1339 inputBytes
1340 (naturalAdd compressedBytes finalBytes)
1341 updateOperations
1342 finalOperations)))))
1343 (branch
1344 SHA256ContextFinalizeFailed
1345 error
1346 ordinal
1347 internalIndex
1348 finalOperations
1349 .
1350 (constructor
1351 SHA256DigestExecutionResult
1352 SHA256DigestExecutionFailed
1353 error
1354 ordinal
1355 (sha256DigestTelemetryCombine
1356 inputBytes
1357 (naturalAdd compressedBytes (sha256DigestTelemetryPaddedCount finalOperations))
1358 updateOperations
1359 finalOperations)))))))
1360 (branch
1361 SHA256ContextUpdateFailed
1362 error
1363 ordinal
1364 internalIndex
1365 telemetry
1366 .
1367 (constructor
1368 SHA256DigestExecutionResult
1369 SHA256DigestExecutionFailed
1370 error
1371 ordinal
1372 telemetry))))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.