140def dataParallelInitialParameters =
141 (lambda erased contribution : Nat .
142 (lambda erased update : Nat .
143 (lambda unrestricted system : (family DataParallelSystem contribution update) .
144 (eliminate
145 DataParallelSystem
146 (lambda unrestricted current : (family DataParallelSystem contribution update) .
147 (family StdList StdU64))
148 system
149 (branch
150 DataParallelSystemOf
151 parameters
152 width
153 program
154 rule
155 initial
156 state
157 rate
158 samples
159 .
160 initial)))))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.