234def nativePhysicalTrainingGenerateBitPatchRoutine =
235 (lambda unrestricted destinationWidth :
236 (family NativePhysicalTrainingBitPatchDestinationWidth) .
237 (lambda unrestricted sourceShift : Nat .
238 (lambda unrestricted destinationShift : Nat .
239 (lambda unrestricted width : Nat .
240 (app x86NativeAssemble
241 (app
242 (app
243 (app
244 (app nativePhysicalTrainingBitPatchAssembly destinationWidth)
245 sourceShift)
246 destinationShift)
247 width))))))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.