78def coppeliusPhysicalComponents =
79 (lambda unrestricted architecture : (family ModelWord32) .
80 (lambda unrestricted computeClass : (family ModelWord32) .
81 (lambda unrestricted spaVersion : (family ModelWord32) .
82 (lambda unrestricted qmdTableBytes : Nat .
83 (constructor
84 CoppeliusPhysicalComponents
85 CoppeliusPhysicalComponentsReady
86 (coppeliusWholeProgramComponent
87 (constructor NvidiaWholeProgramComponent NvidiaWholeProgramProgram)
88 architecture computeClass spaVersion qmdTableBytes)
89 (coppeliusWholeProgramComponent
90 (constructor NvidiaWholeProgramComponent NvidiaWholeProgramQMD)
91 architecture computeClass spaVersion qmdTableBytes)
92 (coppeliusWholeProgramComponent
93 (constructor NvidiaWholeProgramComponent NvidiaWholeProgramPushbuffer)
94 architecture computeClass spaVersion qmdTableBytes)
95 (coppeliusWholeProgramComponent
96 (constructor NvidiaWholeProgramComponent NvidiaWholeProgramGPFIFO)
97 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.