120def dpStateAt =
121 (lambda unrestricted layout : (family NativeDataParallelLayout) .
122 (eliminate
123 NativeDataParallelLayout
124 (lambda unrestricted current : (family NativeDataParallelLayout) . Nat)
125 layout
126 (branch NativeDataParallelLayoutOf placement stateAt digest . stateAt)))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.