One launch: one block of one warp, the four addresses and eta at the
realization's parameter offsets (64-bit words 44..47 and 50).
123def linearStepPlanPatch =
124 (lambda unrestricted byteOffset : Nat .
125 (lambda unrestricted value : Nat .
126 (lambda unrestricted rest : (family NvidiaParameterPatches) .
127 (constructor NvidiaParameterPatches NvidiaParameterPatchesNext
128 (constructor NvidiaParameterPatch NvidiaParameterPatchValue
129 (naturalDivideUnchecked byteOffset 8)
130 (linearStepPlanWord64 value))
131 rest))))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.