Every reduction's frames and local slots, and its leaf value.
2521def dpoGradientResidents =
2522 (lambda unrestricted c : Nat .
2523 (lambda unrestricted u : Nat .
2524 (lambda unrestricted system : (family DataParallelSystem c u) .
2525 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
2526 (lambda unrestricted rest : (family ArenaResidents) .
2527 (stdListFold
2528 (family NativeCombinePlacement)
2529 (family ArenaResidents)
2530 (lambda unrestricted placement : (family NativeCombinePlacement) .
2531 (lambda unrestricted more : (family ArenaResidents) .
2532 (nativeCombineResidents
2533 placement
2534 (constructor
2535 ArenaResidents
2536 ArenaResidentsNext
2537 (constructor
2538 ArenaResident
2539 ArenaResidentValue
2540 b"data-parallel-gradient-leaf"
2541 (nativeCombineRegionEnd placement)
2542 (dpoGradientBytes c u system)
2543 dpWord)
2544 more))))
2545 rest
2546 (dpoGradients layout)))))))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.