AlphaGitHub
Source/Packages

Data.SHA256Core

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

142 lines18 declarations4.9 KiBSHA-256 6b7be8d97e30
Download exact fileView at revisionf5034773ad4bb52133

family · lines 8–14

SHA256RoundTelemetry

Full file
8family SHA256RoundTelemetry : Type 0
9constructor SHA256RoundTelemetryValue
10field unrestricted sha256RoundTelemetryIndex : (family ModelWord32)
11field unrestricted sha256RoundTelemetryRotateCount : Nat
12field unrestricted sha256RoundTelemetryShiftCount : Nat
13field unrestricted sha256RoundTelemetryBooleanCount : Nat
14field unrestricted sha256RoundTelemetryAddCount : Nat

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.