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