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