Scratch is selected by the realization. A GPU state program needs no host
arithmetic temporaries; its callback reserves only actual session state.
102def niScratchWords =
103 (lambda unrestricted layout : (family NativeIndependentLayout) .
104 (eliminate
105 NativeIndependentLayout
106 (lambda unrestricted current : (family NativeIndependentLayout) . Nat)
107 layout
108 (branch
109 NativeIndependentLayoutOf
110 capture
111 committed
112 checkpoint
113 scratchWords
114 digest
115 .
116 scratchWords)))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.