142def bobPatch =
143 (lambda unrestricted word : Nat .
144 (lambda unrestricted value : (family ModelWord64) .
145 (lambda unrestricted rest : (family NvidiaParameterPatches) .
146 (constructor NvidiaParameterPatches NvidiaParameterPatchesNext
147 (constructor NvidiaParameterPatch NvidiaParameterPatchValue word value)
148 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.