311def linearStepPlanComponentForProgram =
312 (lambda unrestricted program : (family SM86Program) .
313 (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
314 (lambda unrestricted component : (family NvidiaWholeProgramComponent) .
315 (lambda unrestricted architecture : (family ModelWord32) .
316 (lambda unrestricted computeClass : (family ModelWord32) .
317 (lambda unrestricted spaVersion : (family ModelWord32) .
318 (lambda unrestricted learningRate : Nat .
319 (lambda unrestricted submissions : Nat .
320 (compiler-native-encode
321 (family NvidiaWholeProgramPlan)
322 (linearStepPlanForProgram program m k component architecture computeClass spaVersion learningRate submissions)))))))))))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.