the four recipes and the extents their expansions must have
156def coppeliusRecipeFills =
157 (lambda unrestricted qmdExpanded : Nat .
158 (lambda unrestricted pushExpanded : Nat .
159 (constructor NvidiaPlanHostRecipeFills NvidiaPlanHostRecipeFillsNext coppeliusHostProgram coppeliusSM86CompatProgramBytesNatural
160 (constructor NativePhysicalEmbeddedComponentKind NativePhysicalEmbeddedProgramTable)
161 (constructor NvidiaPlanHostRecipeFills NvidiaPlanHostRecipeFillsNext coppeliusHostQMD qmdExpanded
162 (constructor NativePhysicalEmbeddedComponentKind NativePhysicalEmbeddedQMDTable)
163 (constructor NvidiaPlanHostRecipeFills NvidiaPlanHostRecipeFillsNext coppeliusHostPushbuffer pushExpanded
164 (constructor NativePhysicalEmbeddedComponentKind NativePhysicalEmbeddedPushbuffer)
165 (constructor NvidiaPlanHostRecipeFills NvidiaPlanHostRecipeFillsNext coppeliusHostGPFIFO coppeliusGPFIFOTableBytes
166 (constructor NativePhysicalEmbeddedComponentKind NativePhysicalEmbeddedGPFIFO)
167 (constructor NvidiaPlanHostRecipeFills NvidiaPlanHostRecipeFillsEnd)))))))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.