2772def dpoEmit =
2773 (lambda unrestricted target : (family NativeHostTarget) .
2774 (lambda unrestricted resources : (family NativeResourceContext) .
2775 (lambda unrestricted c : Nat .
2776 (lambda unrestricted u : Nat .
2777 (lambda unrestricted system : (family DataParallelSystem c u) .
2778 (lambda unrestricted q : Nat .
2779 (lambda unrestricted p : Nat .
2780 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
2781 (lambda unrestricted star : (family NativeDataParallelOwnedStarLayout) .
2782 (lambda unrestricted role : Nat .
2783 (lambda unrestricted edges : (family StdList (family NativePeerEdge)) .
2784 (lambda unrestricted resume : Nat .
2785 (lambda unrestricted steps : Nat .
2786 (lambda unrestricted available : Nat .
2787 (dpoEmitWith
2788 target
2789 resources
2790 c
2791 u
2792 system
2793 q
2794 p
2795 (constructor DataParallelTopology DataParallelStar)
2796 layout
2797 role
2798 edges
2799 steps
2800 available
2801 (lambda unrestricted extent : Nat .
2802 (lambda unrestricted tail : (family NativePhysicalCommands) .
2803 (dpoStart c u system q p layout star role extent resume tail)))
2804 (lambda unrestricted extent : Nat .
2805 (lambda unrestricted success : (family NativePhysicalCommands) .
2806 (planNativePeerRegionPublish
2807 (dpoPublication c u system q p layout star resume edges)
2808 extent
2809 role
2810 success)))
2811 (constructor ArenaResidents ArenaResidentsEnd))))))))))))))))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.