212def dataParallelOwnerSamples =
213 (lambda erased contribution : Nat .
214 (lambda erased update : Nat .
215 (lambda unrestricted system : (family DataParallelSystem contribution update) .
216 (eliminate
217 DataParallelSystem
218 (lambda unrestricted current : (family DataParallelSystem contribution update) .
219 (family StdList (family StdList (family StdList StdU64))))
220 system
221 (branch
222 DataParallelSystemOf
223 parameters
224 width
225 program
226 rule
227 initial
228 state
229 rate
230 samples
231 .
232 samples)))))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.