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 620–641

sha256DigestTelemetryPaddedCount

Full file
620def sha256DigestTelemetryPaddedCount =
621  (lambda unrestricted telemetry : (family SHA256DigestTelemetry) .
622    (eliminate
623      SHA256DigestTelemetry
624      (lambda unrestricted current : (family SHA256DigestTelemetry) . Nat)
625      telemetry
626      (branch
627        SHA256DigestTelemetryValue
628        input
629        padded
630        blocks
631        decoded
632        expanded
633        rounds
634        lookups
635        sigmas
636        rotates
637        shifts
638        booleans
639        adds
640        .
641        padded)))

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.