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 333–346

sm86FieldFailure

Full file
333def sm86FieldFailure =
334  (lambda unrestricted error : (family SM86EncodingErrorCode) .
335    (lambda unrestricted position : Nat .
336      (lambda unrestricted width : Nat .
337        (lambda unrestricted detail : Nat .
338          (lambda unrestricted outputBytes : Nat .
339            (constructor
340              SM86FieldEncodingResult
341              SM86FieldEncodingFailed
342              error
343              position
344              width
345              detail
346              (sm86FieldTelemetryFailure outputBytes (naturalAdd position width))))))))

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.