118def dataParallelUpdateProgram =
119 (lambda erased contribution : Nat .
120 (lambda erased update : Nat .
121 (lambda unrestricted system : (family DataParallelSystem contribution update) .
122 (eliminate
123 DataParallelSystem
124 (lambda unrestricted current : (family DataParallelSystem contribution update) .
125 (family StdList (family PointwiseAssignment StdU64 update)))
126 system
127 (branch
128 DataParallelSystemOf
129 parameters
130 width
131 program
132 rule
133 initial
134 state
135 rate
136 samples
137 .
138 rule)))))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.