1164def dpoLocal =
1165 (lambda unrestricted c : Nat .
1166 (lambda unrestricted u : Nat .
1167 (lambda unrestricted system : (family DataParallelSystem c u) .
1168 (lambda unrestricted q : Nat .
1169 (lambda unrestricted p : Nat .
1170 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
1171 (lambda unrestricted owner : Nat .
1172 (lambda unrestricted contribution : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1173 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
1174 (lambda unrestricted operation : (family DataParallelOwnedOperation) .
1175 (eliminate
1176 DataParallelOwnedOperation
1177 (lambda unrestricted current : (family DataParallelOwnedOperation) .
1178 (pi unrestricted tail : (family NativePhysicalCommands) .
1179 (family NativePhysicalCommands)))
1180 operation
1181 (branch
1182 DataParallelOwnedContribute
1183 .
1184 (lambda unrestricted tail : (family NativePhysicalCommands) .
1185 (dpoWhen
1186 p
1187 (dpoReading c u system layout)
1188 (dpContribute
1189 c
1190 u
1191 system
1192 (dpoGeneric layout)
1193 (naturalSelect
1194 p
1195 (dpoReplicaParametersAt c u system layout)
1196 (dpoParametersAt layout))
1197 owner
1198 contribution
1199 tail))))
1200 (branch
1201 DataParallelOwnedSum
1202 value
1203 .
1204 (nativeCombineLocal
1205 (dpoSum layout)
1206 (dpLeafAt (dpoGeneric layout))
1207 (dpApply c u system)
1208 value))
1209 (branch
1210 DataParallelOwnedUpdate
1211 .
1212 (dpoUpdate c u system q p layout owner update))
1213 (branch DataParallelOwnedOffer . (dpoOffer c u system q p layout owner))
1214 (branch
1215 DataParallelOwnedAssemble
1216 value
1217 .
1218 (nativeCombineLocal
1219 (dpoAssemblePlacement layout)
1220 (nativeCombineRegionEnd (dpoAssemblePlacement layout))
1221 (dpoSelect (dpK c u system))
1222 value))
1223 (branch DataParallelOwnedInstall . (dpoInstall c u system layout))
1224 (branch DataParallelOwnedMaterialize . (dpoMaterialize c u system layout))
1225 (branch DataParallelOwnedRelease . (dpoRelease c u system layout))
1226 (branch DataParallelOwnedProject . (dpoProject c u system layout))
1227 (branch
1228 DataParallelOwnedGradient
1229 target
1230 value
1231 .
1232 (nativeCombineLocal
1233 (dpoGradientAt layout target)
1234 (nativeCombineRegionEnd (dpoGradientAt layout target))
1235 (dpoApplyWords (dpoGradientWords c u system))
1236 value)))))))))))))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.