458def sha256DigestTelemetryInitial =
459 (lambda unrestricted inputBytes : Nat .
460 (lambda unrestricted paddedBytes : Nat .
461 (constructor
462 SHA256DigestTelemetry
463 SHA256DigestTelemetryValue
464 inputBytes
465 paddedBytes
466 zero
467 zero
468 zero
469 zero
470 zero
471 zero
472 zero
473 zero
474 zero
475 zero)))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.