304def nativePhysicalAddCounts =
305 (lambda unrestricted left : (family NativePhysicalCounts) .
306 (lambda unrestricted right : (family NativePhysicalCounts) .
307 (eliminate
308 NativePhysicalCounts
309 (lambda unrestricted current : (family NativePhysicalCounts) .
310 (family NativePhysicalCounts))
311 left
312 (branch
313 NativePhysicalCountsValue
314 leftCommands
315 leftSystemCalls
316 leftCopies
317 leftRoutines
318 leftFences
319 leftTelemetry
320 leftAssertions
321 leftHalts
322 leftPayload
323 .
324 (eliminate
325 NativePhysicalCounts
326 (lambda unrestricted current : (family NativePhysicalCounts) .
327 (family NativePhysicalCounts))
328 right
329 (branch
330 NativePhysicalCountsValue
331 rightCommands
332 rightSystemCalls
333 rightCopies
334 rightRoutines
335 rightFences
336 rightTelemetry
337 rightAssertions
338 rightHalts
339 rightPayload
340 .
341 (constructor
342 NativePhysicalCounts
343 NativePhysicalCountsValue
344 (naturalAdd leftCommands rightCommands)
345 (naturalAdd leftSystemCalls rightSystemCalls)
346 (naturalAdd leftCopies rightCopies)
347 (naturalAdd leftRoutines rightRoutines)
348 (naturalAdd leftFences rightFences)
349 (naturalAdd leftTelemetry rightTelemetry)
350 (naturalAdd leftAssertions rightAssertions)
351 (naturalAdd leftHalts rightHalts)
352 (naturalAdd leftPayload rightPayload))))))))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.