AlphaGitHub
Source/Packages

Accelerator.SM86.FieldEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/FieldEncoding.alpha

861 lines86 declarations33.8 KiBSHA-256 1449867e9447
Download exact fileView at revisionf5034773ad4bb52133

def · lines 160–169

sm86FieldTelemetryFailure

Full file
160def sm86FieldTelemetryFailure =
161  (lambda unrestricted outputBytes : Nat .
162    (lambda unrestricted highestExclusiveBit : Nat .
163      (constructor
164        SM86FieldEncodingTelemetry
165        SM86FieldEncodingTelemetryValue
166        zero
167        zero
168        outputBytes
169        highestExclusiveBit)))

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.