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 597–618

sha256DigestTelemetryBlockCount

Full file
597def sha256DigestTelemetryBlockCount =
598  (lambda unrestricted telemetry : (family SHA256DigestTelemetry) .
599    (eliminate
600      SHA256DigestTelemetry
601      (lambda unrestricted current : (family SHA256DigestTelemetry) . Nat)
602      telemetry
603      (branch
604        SHA256DigestTelemetryValue
605        input
606        padded
607        blocks
608        decoded
609        expanded
610        rounds
611        lookups
612        sigmas
613        rotates
614        shifts
615        booleans
616        adds
617        .
618        blocks)))

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.