2813def nativeDataParallelOwnedArtifact =
2814 (lambda unrestricted target : (family NativeHostTarget) .
2815 (lambda unrestricted resources : (family NativeResourceContext) .
2816 (lambda unrestricted c : Nat .
2817 (lambda unrestricted u : Nat .
2818 (lambda unrestricted system : (family DataParallelSystem c u) .
2819 (lambda unrestricted q : Nat .
2820 (lambda unrestricted p : Nat .
2821 (lambda unrestricted g : Nat .
2822 (lambda unrestricted role : Nat .
2823 (lambda unrestricted addresses : (family StdList Bytes) .
2824 (lambda unrestricted resume : Nat .
2825 (lambda unrestricted epoch : Nat .
2826 (lambda unrestricted steps : Nat .
2827 (lambda unrestricted available : Nat .
2828 (let unrestricted edges =
2829 (nativePeerStarEdges role addresses)
2830 in
2831 (nat-eliminate
2832 (lambda unrestricted valid : Nat . Bytes)
2833 b""
2834 (lambda unrestricted previous : Nat .
2835 (lambda unrestricted ignored : Bytes .
2836 (dpoWithStarLayout
2837 c
2838 u
2839 system
2840 q
2841 p
2842 g
2843 role
2844 epoch
2845 available
2846 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
2847 (lambda unrestricted star : (family NativeDataParallelOwnedStarLayout) .
2848 (dpoEmit
2849 target
2850 resources
2851 c
2852 u
2853 system
2854 q
2855 p
2856 layout
2857 star
2858 role
2859 edges
2860 resume
2861 steps
2862 available))))))
2863 (dpoRunAdmitted
2864 c
2865 u
2866 system
2867 q
2868 p
2869 g
2870 role
2871 addresses
2872 resume
2873 epoch
2874 steps)))))))))))))))))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.