AlphaGitHub
Source/Packages

Accelerator.SM86.Capability

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

203 lines55 declarations8.1 KiBSHA-256 bc5d1e28b0a1
Download exact fileView at revision3c600751929f56cd01

def · lines 196–203

sm86CapabilityAdmissionAccepted

Full file
196def sm86CapabilityAdmissionAccepted =
197  (lambda unrestricted admission : (family SM86CapabilityAdmission) .
198    (eliminate
199      SM86CapabilityAdmission
200      (lambda unrestricted current : (family SM86CapabilityAdmission) . Nat)
201      admission
202      (branch SM86CapabilityAccepted checks . sm86CapabilityOne)
203      (branch SM86CapabilityRejected checks . zero)))

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.