1128def cgPhase =
1129 (lambda unrestricted phase : Bytes .
1130 (lambda unrestricted schedule : (family NvidiaLaunchSchedule) .
1131 (eliminate
1132 NvidiaLaunchSchedule
1133 (lambda unrestricted current : (family NvidiaLaunchSchedule) .
1134 (family NvidiaLaunchSchedule))
1135 schedule
1136 (branch
1137 NvidiaLaunchScheduleEmpty
1138 .
1139 (constructor NvidiaLaunchSchedule NvidiaLaunchScheduleEmpty))
1140 (branch
1141 NvidiaLaunchScheduleOne
1142 template
1143 .
1144 (constructor
1145 NvidiaLaunchSchedule
1146 NvidiaLaunchScheduleOne
1147 (eliminate
1148 NvidiaLaunchTemplate
1149 (lambda unrestricted current : (family NvidiaLaunchTemplate) .
1150 (family NvidiaLaunchTemplate))
1151 template
1152 (branch
1153 NvidiaLaunchTemplateValue
1154 identity
1155 kernel
1156 block
1157 .
1158 (constructor
1159 NvidiaLaunchTemplate
1160 NvidiaLaunchTemplateValue
1161 (nat-eliminate
1162 (lambda unrestricted unphased : Nat . Bytes)
1163 identity
1164 (lambda unrestricted q : Nat . (lambda unrestricted ignored : Bytes . phase))
1165 (bytes-equal identity cgUnphased))
1166 kernel
1167 block)))))
1168 (branch
1169 NvidiaLaunchScheduleAppend
1170 left
1171 right
1172 il
1173 ir
1174 .
1175 (constructor NvidiaLaunchSchedule NvidiaLaunchScheduleAppend il ir))
1176 (branch
1177 NvidiaLaunchScheduleRepeat
1178 count
1179 iteration
1180 body
1181 ib
1182 .
1183 (constructor NvidiaLaunchSchedule NvidiaLaunchScheduleRepeat count iteration ib)))))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.