One owner of the hierarchy, for `target`.
882def nativeDataParallelOwnedTreeArtifact =
883 (lambda unrestricted target : (family NativeHostTarget) .
884 (lambda unrestricted resources : (family NativeResourceContext) .
885 (lambda unrestricted c : Nat .
886 (lambda unrestricted u : Nat .
887 (lambda unrestricted system : (family DataParallelSystem c u) .
888 (lambda unrestricted q : Nat .
889 (lambda unrestricted p : Nat .
890 (lambda unrestricted g : Nat .
891 (lambda unrestricted fanout : Nat .
892 (lambda unrestricted role : Nat .
893 (lambda unrestricted addresses : (family StdList Bytes) .
894 (lambda unrestricted resume : Nat .
895 (lambda unrestricted epoch : Nat .
896 (lambda unrestricted steps : Nat .
897 (lambda unrestricted available : Nat .
898 (let unrestricted edges =
899 (nativePeerTreeEdgesListed
900 fanout
901 (dpOwners c u system)
902 role
903 addresses)
904 in
905 (nat-eliminate
906 (lambda unrestricted valid : Nat . Bytes)
907 b""
908 (lambda unrestricted previous : Nat .
909 (lambda unrestricted ignored : Bytes .
910 (dpotWithLayout
911 c
912 u
913 system
914 q
915 p
916 g
917 fanout
918 role
919 epoch
920 available
921 (lambda unrestricted layout : (family NativeDataParallelOwnedLayout) .
922 (lambda unrestricted tree : (family NativeDataParallelOwnedTreeLayout) .
923 (dpoEmitWith
924 target
925 resources
926 c
927 u
928 system
929 q
930 p
931 (dpotTopology fanout)
932 layout
933 role
934 edges
935 steps
936 available
937 (lambda unrestricted extent : Nat .
938 (lambda unrestricted tail : (family NativePhysicalCommands) .
939 (dpotStart
940 c
941 u
942 system
943 q
944 p
945 layout
946 tree
947 fanout
948 role
949 resume
950 tail)))
951 (lambda unrestricted extent : Nat .
952 (lambda unrestricted success : (family NativePhysicalCommands) .
953 (dpotPublish
954 c
955 u
956 system
957 q
958 p
959 layout
960 tree
961 fanout
962 role
963 edges
964 resume
965 success)))
966 (dpotResidents layout tree)))))))
967 (dpotRunAdmitted
968 c
969 u
970 system
971 q
972 p
973 g
974 fanout
975 role
976 addresses
977 resume
978 epoch
979 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.