0 when the device side is certified (Runtime.DeviceArenaCertificate); a
function, so a build computes it only where it is applied (an admission
that has already failed does not)
3442def coppeliusDeviceHazardOf =
3443 (lambda unrestricted ignored : Nat .
3444 (deviceArenaHazard
3445 coppeliusDeviceWindows
3446 coppeliusDeviceGlobals
3447 coppeliusDevicePhases
3448 coppeliusLaunchSchedule
3449 coppeliusSubmissionSchedule))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.