63def coppeliusWholeProgramComponentFor =
64 (lambda unrestricted submissions : (family NvidiaSubmissionSchedule) .
65 (lambda unrestricted component : (family NvidiaWholeProgramComponent) .
66 (lambda unrestricted architecture : (family ModelWord32) .
67 (lambda unrestricted computeClass : (family ModelWord32) .
68 (lambda unrestricted spaVersion : (family ModelWord32) .
69 (lambda unrestricted qmdTableBytes : Nat .
70 (bytes-builder-chunk
71 (compiler-native-encode
72 (family NvidiaWholeProgramPlan)
73 (coppeliusWholeProgramPlanFor submissions
74 component architecture computeClass spaVersion qmdTableBytes)))))))))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.