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)
3441def coppeliusDeviceHazardOf =
3442 (lambda unrestricted ignored : Nat .
3443 (deviceArenaHazard
3444 coppeliusDeviceWindows
3445 coppeliusDeviceGlobals
3446 coppeliusDevicePhases
3447 coppeliusLaunchSchedule
3448 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.