Shape-independent parameter placement: data addresses come from the
admitted arena, not from the historical checked-step fixture's offsets.
135def linearStepPlanParametersAt =
136 (lambda unrestricted weights : Nat .
137 (lambda unrestricted input : Nat .
138 (lambda unrestricted target : Nat .
139 (lambda unrestricted output : Nat .
140 (lambda unrestricted learningRate : Nat .
141 (constructor NvidiaParameterBlock NvidiaParameterBlockValue
142 (linearStepPlanPatch linearStepSM86WeightsOffset weights
143 (linearStepPlanPatch linearStepSM86InputOffset input
144 (linearStepPlanPatch linearStepSM86TargetOffset target
145 (linearStepPlanPatch linearStepSM86OutputOffset output
146 (linearStepPlanPatch linearStepSM86LearningRateOffset learningRate
147 (constructor NvidiaParameterPatches NvidiaParameterPatchesEnd))))))))))))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.