the same certificate over the run's order (coppeliusRunSubmissionSample)
3455def coppeliusRunDeviceHazardOf =
3456 (lambda unrestricted ignored : Nat .
3457 (deviceArenaHazard
3458 coppeliusDeviceWindows
3459 coppeliusDeviceGlobals
3460 coppeliusDevicePhases
3461 coppeliusLaunchSchedule
3462 coppeliusRunSubmissionSample))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.