96def dataParallelContributionProgram =
97 (lambda erased contribution : Nat .
98 (lambda erased update : Nat .
99 (lambda unrestricted system : (family DataParallelSystem contribution update) .
100 (eliminate
101 DataParallelSystem
102 (lambda unrestricted current : (family DataParallelSystem contribution update) .
103 (family StdList (family PointwiseAssignment StdU64 contribution)))
104 system
105 (branch
106 DataParallelSystemOf
107 parameters
108 width
109 program
110 rule
111 initial
112 state
113 rate
114 samples
115 .
116 program)))))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.