The replicated regions' addresses in this owner: parameters, then (when
the learner has any) optimizer state.
1135def dpDestinations =
1136 (lambda unrestricted c : Nat .
1137 (lambda unrestricted u : Nat .
1138 (lambda unrestricted system : (family DataParallelSystem c u) .
1139 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1140 (constructor
1141 StdList
1142 StdListCons
1143 (family NativeRegionDestination)
1144 (constructor
1145 NativeRegionDestination
1146 NativeRegionDestinationOf
1147 0
1148 (constructor LogicalInterval LogicalIntervalOf 0 (dpParameterBytes c u system))
1149 (dpParametersAt layout))
1150 (nat-eliminate
1151 (lambda unrestricted words : Nat . (family StdList (family NativeRegionDestination)))
1152 (constructor StdList StdListEmpty (family NativeRegionDestination))
1153 (lambda unrestricted previous : Nat .
1154 (lambda unrestricted ignored : (family StdList (family NativeRegionDestination)) .
1155 (constructor
1156 StdList
1157 StdListCons
1158 (family NativeRegionDestination)
1159 (constructor
1160 NativeRegionDestination
1161 NativeRegionDestinationOf
1162 1
1163 (constructor
1164 LogicalInterval
1165 LogicalIntervalOf
1166 0
1167 (dpOptimizerBytes c u system))
1168 (naturalAdd (dpParametersAt layout) (dpParameterBytes c u system)))
1169 (constructor StdList StdListEmpty (family NativeRegionDestination)))))
1170 (dpM c u system)))))))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.