With gradient partitioning (g = 1) the coordinate owners' reductions,
placed where the publication storage would begin; none otherwise.
2159def dpoGradientsFor =
2160 (lambda unrestricted c : Nat .
2161 (lambda unrestricted u : Nat .
2162 (lambda unrestricted system : (family DataParallelSystem c u) .
2163 (lambda unrestricted g : Nat .
2164 (lambda unrestricted digest : Bytes .
2165 (lambda unrestricted topology : (family DataParallelTopology) .
2166 (lambda unrestricted role : Nat .
2167 (lambda unrestricted base : Nat .
2168 (nat-eliminate
2169 (lambda unrestricted current : Nat .
2170 (family StdList (family NativeCombinePlacement)))
2171 (constructor StdList StdListEmpty (family NativeCombinePlacement))
2172 (lambda unrestricted previous : Nat .
2173 (lambda unrestricted ignored : (family StdList (family NativeCombinePlacement)) .
2174 (dpoGradientPlacementsFor c u system digest topology role base)))
2175 g)))))))))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.