AlphaGitHub
Source/Packages

Runtime.DeviceArenaCertificate

packages/execution/src/Runtime/DeviceArenaCertificate.alpha

1,819 lines133 declarations67.4 KiBSHA-256 fe496ea00de6
Download exact fileView at revision426597bda5753d86c4

def · lines 1813–1819

deviceArenaCertificate

Full file
1 when certified
1813def deviceArenaCertificate =
1814  (lambda unrestricted windows : (family ArenaResidents) .
1815    (lambda unrestricted globals : (family ArenaResidents) .
1816      (lambda unrestricted phases : (family DeviceArenaPhases) .
1817        (lambda unrestricted schedule : (family NvidiaLaunchSchedule) .
1818          (lambda unrestricted submissions : (family NvidiaSubmissionSchedule) .
1819            (naturalIsZero (deviceArenaHazard windows globals phases schedule submissions)))))))

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.