AlphaGitHub
Source/Packages

Data.SHA256Digest

packages/foundation/standard/src/Data/SHA256Digest.alpha

1,631 lines150 declarations64.2 KiBSHA-256 c46a79f2ab9a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 458–475

sha256DigestTelemetryInitial

Full file
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.