summaryrefslogtreecommitdiff
path: root/testdata/Builtins.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/Builtins.out')
-rw-r--r--testdata/Builtins.out1815
1 files changed, 914 insertions, 901 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 2add020d..877414f4 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1166,936 +1166,949 @@ testdata/Builtins.lc 356:15-356:46 V2
1166testdata/Builtins.lc 356:26-356:32 Type->Type 1166testdata/Builtins.lc 356:26-356:32 Type->Type
1167testdata/Builtins.lc 356:38-356:44 Type->Type 1167testdata/Builtins.lc 356:38-356:44 Type->Type
1168testdata/Builtins.lc 356:1-356:10 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1168testdata/Builtins.lc 356:1-356:10 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1169testdata/Builtins.lc 357:18-357:52 Type 1169testdata/Builtins.lc 357:21-357:59 Type
1170testdata/Builtins.lc 357:18-357:52 V1 1170testdata/Builtins.lc 357:21-357:59 V3
1171testdata/Builtins.lc 357:23-357:27 Type 1171testdata/Builtins.lc 357:26-357:32 Type->Type
1172testdata/Builtins.lc 357:32-357:38 Type->Type 1172testdata/Builtins.lc 357:21-357:59 V2
1173testdata/Builtins.lc 357:44-357:50 Type->Type 1173testdata/Builtins.lc 357:39-357:45 Type->Type
1174testdata/Builtins.lc 357:1-357:13 {a} -> a->'Bool -> 'Stream a -> 'Stream a 1174testdata/Builtins.lc 357:51-357:57 Type->Type
1175testdata/Builtins.lc 359:22-359:35 Type 1175testdata/Builtins.lc 357:1-357:16 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
1176testdata/Builtins.lc 359:6-359:15 'PrimitiveType -> Type->Type 1176testdata/Builtins.lc 358:18-358:52 Type
1177testdata/Builtins.lc 361:28-361:34 Type->Type 1177testdata/Builtins.lc 358:18-358:52 V1
1178testdata/Builtins.lc 361:36-361:49 Type 1178testdata/Builtins.lc 358:23-358:27 Type
1179testdata/Builtins.lc 361:36-361:45 'PrimitiveType -> Type->Type 1179testdata/Builtins.lc 358:32-358:38 Type->Type
1180testdata/Builtins.lc 361:46-361:47 'PrimitiveType 1180testdata/Builtins.lc 358:44-358:50 Type->Type
1181testdata/Builtins.lc 361:46-361:47 V3 1181testdata/Builtins.lc 358:1-358:13 {a} -> a->'Bool -> 'Stream a -> 'Stream a
1182testdata/Builtins.lc 361:48-361:49 Type 1182testdata/Builtins.lc 360:22-360:35 Type
1183testdata/Builtins.lc 361:48-361:49 V1 1183testdata/Builtins.lc 360:6-360:15 'PrimitiveType -> Type->Type
1184testdata/Builtins.lc 361:6-361:21 'PrimitiveType -> Type->Type 1184testdata/Builtins.lc 362:28-362:34 Type->Type
1185testdata/Builtins.lc 363:18-363:59 Type 1185testdata/Builtins.lc 362:36-362:49 Type
1186testdata/Builtins.lc 363:18-363:59 V5 1186testdata/Builtins.lc 362:36-362:45 'PrimitiveType -> Type->Type
1187testdata/Builtins.lc 363:18-363:59 V4 1187testdata/Builtins.lc 362:46-362:47 'PrimitiveType
1188testdata/Builtins.lc 363:29-363:38 'PrimitiveType -> Type->Type 1188testdata/Builtins.lc 362:46-362:47 V3
1189testdata/Builtins.lc 363:18-363:59 'PrimitiveType 1189testdata/Builtins.lc 362:48-362:49 Type
1190testdata/Builtins.lc 363:18-363:59 V2 1190testdata/Builtins.lc 362:48-362:49 V1
1191testdata/Builtins.lc 363:46-363:55 'PrimitiveType -> Type->Type 1191testdata/Builtins.lc 362:6-362:21 'PrimitiveType -> Type->Type
1192testdata/Builtins.lc 363:1-363:13 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b 1192testdata/Builtins.lc 364:18-364:59 Type
1193testdata/Builtins.lc 365:39-365:94 Type 1193testdata/Builtins.lc 364:18-364:59 V5
1194testdata/Builtins.lc 365:39-365:53 Type->Type 1194testdata/Builtins.lc 364:18-364:59 V4
1195testdata/Builtins.lc 365:54-365:55 Type 1195testdata/Builtins.lc 364:29-364:38 'PrimitiveType -> Type->Type
1196testdata/Builtins.lc 365:54-365:55 V1 1196testdata/Builtins.lc 364:18-364:59 'PrimitiveType
1197testdata/Builtins.lc 365:60-365:94 Type 1197testdata/Builtins.lc 364:18-364:59 V2
1198testdata/Builtins.lc 365:60-365:66 Type 1198testdata/Builtins.lc 364:46-364:55 'PrimitiveType -> Type->Type
1199testdata/Builtins.lc 365:70-365:94 Type 1199testdata/Builtins.lc 364:1-364:13 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b
1200testdata/Builtins.lc 365:70-365:71 Type 1200testdata/Builtins.lc 366:39-366:94 Type
1201testdata/Builtins.lc 365:75-365:94 Type 1201testdata/Builtins.lc 366:39-366:53 Type->Type
1202testdata/Builtins.lc 365:75-365:90 'PrimitiveType -> Type->Type 1202testdata/Builtins.lc 366:54-366:55 Type
1203testdata/Builtins.lc 365:91-365:92 'PrimitiveType 1203testdata/Builtins.lc 366:54-366:55 V1
1204testdata/Builtins.lc 365:91-365:92 V5 1204testdata/Builtins.lc 366:60-366:94 Type
1205testdata/Builtins.lc 365:93-365:94 Type 1205testdata/Builtins.lc 366:60-366:66 Type
1206testdata/Builtins.lc 365:1-365:7 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b) 1206testdata/Builtins.lc 366:70-366:94 Type
1207testdata/Builtins.lc 366:42-366:104 Type 1207testdata/Builtins.lc 366:70-366:71 Type
1208testdata/Builtins.lc 366:42-366:56 Type->Type 1208testdata/Builtins.lc 366:75-366:94 Type
1209testdata/Builtins.lc 366:57-366:58 Type 1209testdata/Builtins.lc 366:75-366:90 'PrimitiveType -> Type->Type
1210testdata/Builtins.lc 366:57-366:58 V3 1210testdata/Builtins.lc 366:91-366:92 'PrimitiveType
1211testdata/Builtins.lc 366:60-366:104 Type 1211testdata/Builtins.lc 366:91-366:92 V5
1212testdata/Builtins.lc 366:60-366:61 Type 1212testdata/Builtins.lc 366:93-366:94 Type
1213testdata/Builtins.lc 366:64-366:74 Type 1213testdata/Builtins.lc 366:1-366:7 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b)
1214testdata/Builtins.lc 366:64-366:71 Type->Type 1214testdata/Builtins.lc 367:42-367:104 Type
1215testdata/Builtins.lc 366:72-366:74 Type 1215testdata/Builtins.lc 367:42-367:56 Type->Type
1216testdata/Builtins.lc 366:72-366:74 V2 1216testdata/Builtins.lc 367:57-367:58 Type
1217testdata/Builtins.lc 366:79-366:104 Type 1217testdata/Builtins.lc 367:57-367:58 V3
1218testdata/Builtins.lc 366:79-366:81 Type 1218testdata/Builtins.lc 367:60-367:104 Type
1219testdata/Builtins.lc 366:85-366:104 Type 1219testdata/Builtins.lc 367:60-367:61 Type
1220testdata/Builtins.lc 366:85-366:100 'PrimitiveType -> Type->Type 1220testdata/Builtins.lc 367:64-367:74 Type
1221testdata/Builtins.lc 366:101-366:102 'PrimitiveType 1221testdata/Builtins.lc 367:64-367:71 Type->Type
1222testdata/Builtins.lc 366:101-366:102 V6 1222testdata/Builtins.lc 367:72-367:74 Type
1223testdata/Builtins.lc 366:103-366:104 Type 1223testdata/Builtins.lc 367:72-367:74 V2
1224testdata/Builtins.lc 366:1-366:13 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b) 1224testdata/Builtins.lc 367:79-367:104 Type
1225testdata/Builtins.lc 368:19-368:77 Type 1225testdata/Builtins.lc 367:79-367:81 Type
1226testdata/Builtins.lc 368:19-368:77 V5 1226testdata/Builtins.lc 367:85-367:104 Type
1227testdata/Builtins.lc 368:19-368:77 V4 1227testdata/Builtins.lc 367:85-367:100 'PrimitiveType -> Type->Type
1228testdata/Builtins.lc 368:31-368:37 Type->Type 1228testdata/Builtins.lc 367:101-367:102 'PrimitiveType
1229testdata/Builtins.lc 368:39-368:48 'PrimitiveType -> Type->Type 1229testdata/Builtins.lc 367:101-367:102 V6
1230testdata/Builtins.lc 368:19-368:77 'PrimitiveType 1230testdata/Builtins.lc 367:103-367:104 Type
1231testdata/Builtins.lc 368:19-368:77 V2 1231testdata/Builtins.lc 367:1-367:13 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b)
1232testdata/Builtins.lc 368:58-368:73 'PrimitiveType -> Type->Type 1232testdata/Builtins.lc 369:19-369:74 Type
1233testdata/Builtins.lc 369:19-369:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b) 1233testdata/Builtins.lc 369:19-369:74 V5
1234testdata/Builtins.lc 369:19-369:42 {a} -> {b:'PrimitiveType} -> V2->a -> 'Stream ('Primitive b V3) -> 'Stream ('Primitive b a) 1234testdata/Builtins.lc 369:19-369:74 V4
1235testdata/Builtins.lc 369:19-369:42 {a:'PrimitiveType} -> V2->V2 -> 'Stream ('Primitive a V3) -> 'Stream ('Primitive a V3) 1235testdata/Builtins.lc 369:31-369:46 'PrimitiveType -> Type->Type
1236testdata/Builtins.lc 369:19-369:42 V2->V2 -> 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3) 1236testdata/Builtins.lc 369:19-369:74 'PrimitiveType
1237testdata/Builtins.lc 369:19-369:42 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3) 1237testdata/Builtins.lc 369:19-369:74 V2
1238testdata/Builtins.lc 369:19-369:28 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1238testdata/Builtins.lc 369:55-369:70 'PrimitiveType -> Type->Type
1239testdata/Builtins.lc 369:30-369:42 V1->V1 1239testdata/Builtins.lc 370:19-370:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b)
1240testdata/Builtins.lc 369:30-369:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b 1240testdata/Builtins.lc 370:19-370:42 {a} -> {b:'PrimitiveType} -> V2->a -> 'Stream ('Primitive b V3) -> 'Stream ('Primitive b a)
1241testdata/Builtins.lc 369:1-369:14 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b) 1241testdata/Builtins.lc 370:19-370:42 {a:'PrimitiveType} -> V2->V2 -> 'Stream ('Primitive a V3) -> 'Stream ('Primitive a V3)
1242testdata/Builtins.lc 371:15-371:21 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b) 1242testdata/Builtins.lc 370:19-370:42 V2->V2 -> 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3)
1243testdata/Builtins.lc 371:1-371:6 {a} -> 'String -> c:'PrimitiveType -> a -> 'Stream ('Primitive c a) 1243testdata/Builtins.lc 370:19-370:42 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3)
1244testdata/Builtins.lc 372:19-372:31 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b) 1244testdata/Builtins.lc 370:19-370:28 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1245testdata/Builtins.lc 372:1-372:12 {a} -> b:'PrimitiveType -> a -> 'Stream ('Primitive b ('FTRepr' a)) 1245testdata/Builtins.lc 370:30-370:42 V1->V1
1246testdata/Builtins.lc 374:6-374:18 Type 1246testdata/Builtins.lc 370:30-370:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b
1247testdata/Builtins.lc 374:21-374:28 'DepthHandler 1247testdata/Builtins.lc 370:1-370:14 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b)
1248testdata/Builtins.lc 374:31-374:43 'DepthHandler 1248testdata/Builtins.lc 372:15-372:21 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b)
1249testdata/Builtins.lc 391:23-401:82 Type->Type 1249testdata/Builtins.lc 372:1-372:6 {a} -> 'String -> c:'PrimitiveType -> a -> 'Stream ('Primitive c a)
1250testdata/Builtins.lc 391:23-401:82 Type 1250testdata/Builtins.lc 373:19-373:31 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b)
1251testdata/Builtins.lc 391:23-391:25 Type 1251testdata/Builtins.lc 373:1-373:12 {a} -> b:'PrimitiveType -> a -> 'Stream ('Primitive b ('FTRepr' a))
1252testdata/Builtins.lc 392:25-401:82 Type 1252testdata/Builtins.lc 375:6-375:18 Type
1253testdata/Builtins.lc 392:25-392:26 Type 1253testdata/Builtins.lc 375:21-375:28 'DepthHandler
1254testdata/Builtins.lc 393:19-401:82 Type 1254testdata/Builtins.lc 375:31-375:43 'DepthHandler
1255testdata/Builtins.lc 393:39-393:45 Type -> Type->Type 1255testdata/Builtins.lc 392:23-402:82 Type->Type
1256testdata/Builtins.lc 393:39-393:45 Type->Type 1256testdata/Builtins.lc 392:23-402:82 Type
1257testdata/Builtins.lc 393:39-393:45 Type 1257testdata/Builtins.lc 392:23-392:25 Type
1258testdata/Builtins.lc 393:19-393:35 Type 1258testdata/Builtins.lc 393:25-402:82 Type
1259testdata/Builtins.lc 394:19-401:82 Type 1259testdata/Builtins.lc 393:25-393:26 Type
1260testdata/Builtins.lc 394:48-399:58 Type -> Type -> Type->Type 1260testdata/Builtins.lc 394:19-402:82 Type
1261testdata/Builtins.lc 394:48-399:58 Type -> Type->Type 1261testdata/Builtins.lc 394:39-394:45 Type -> Type->Type
1262testdata/Builtins.lc 394:48-399:58 Type->Type 1262testdata/Builtins.lc 394:39-394:45 Type->Type
1263testdata/Builtins.lc 394:48-399:58 Type 1263testdata/Builtins.lc 394:39-394:45 Type
1264testdata/Builtins.lc 394:48-394:57 Type->Type 1264testdata/Builtins.lc 394:19-394:35 Type
1265testdata/Builtins.lc 394:48-394:57 Type 1265testdata/Builtins.lc 395:19-402:82 Type
1266testdata/Builtins.lc 394:48-394:57 Type -> Type -> Type->Type 1266testdata/Builtins.lc 395:48-400:58 Type -> Type -> Type->Type
1267testdata/Builtins.lc 399:52-399:58 Type 1267testdata/Builtins.lc 395:48-400:58 Type -> Type->Type
1268testdata/Builtins.lc 399:52-399:58 Type->Type 1268testdata/Builtins.lc 395:48-400:58 Type->Type
1269testdata/Builtins.lc 399:52-399:58 Type -> Type->Type 1269testdata/Builtins.lc 395:48-400:58 Type
1270testdata/Builtins.lc 394:19-394:44 Type 1270testdata/Builtins.lc 395:48-395:57 Type->Type
1271testdata/Builtins.lc 395:19-401:82 Type 1271testdata/Builtins.lc 395:48-395:57 Type
1272testdata/Builtins.lc 395:57-400:70 Type -> Type -> Type -> Type->Type 1272testdata/Builtins.lc 395:48-395:57 Type -> Type -> Type->Type
1273testdata/Builtins.lc 395:57-400:70 Type -> Type -> Type->Type 1273testdata/Builtins.lc 400:52-400:58 Type
1274testdata/Builtins.lc 395:57-400:70 Type -> Type->Type 1274testdata/Builtins.lc 400:52-400:58 Type->Type
1275testdata/Builtins.lc 395:57-400:70 Type->Type 1275testdata/Builtins.lc 400:52-400:58 Type -> Type->Type
1276testdata/Builtins.lc 395:57-400:70 Type 1276testdata/Builtins.lc 395:19-395:44 Type
1277testdata/Builtins.lc 395:57-395:69 Type->Type 1277testdata/Builtins.lc 396:19-402:82 Type
1278testdata/Builtins.lc 395:57-395:69 Type 1278testdata/Builtins.lc 396:57-401:70 Type -> Type -> Type -> Type->Type
1279testdata/Builtins.lc 395:57-395:69 Type -> Type -> Type -> Type->Type 1279testdata/Builtins.lc 396:57-401:70 Type -> Type -> Type->Type
1280testdata/Builtins.lc 400:61-400:70 Type 1280testdata/Builtins.lc 396:57-401:70 Type -> Type->Type
1281testdata/Builtins.lc 400:61-400:70 Type->Type 1281testdata/Builtins.lc 396:57-401:70 Type->Type
1282testdata/Builtins.lc 400:61-400:70 Type -> Type -> Type->Type 1282testdata/Builtins.lc 396:57-401:70 Type
1283testdata/Builtins.lc 395:19-395:53 Type 1283testdata/Builtins.lc 396:57-396:69 Type->Type
1284testdata/Builtins.lc 396:19-401:82 Type 1284testdata/Builtins.lc 396:57-396:69 Type
1285testdata/Builtins.lc 396:66-401:82 Type -> Type -> Type -> Type -> Type->Type 1285testdata/Builtins.lc 396:57-396:69 Type -> Type -> Type -> Type->Type
1286testdata/Builtins.lc 396:66-401:82 Type -> Type -> Type -> Type->Type 1286testdata/Builtins.lc 401:61-401:70 Type
1287testdata/Builtins.lc 396:66-401:82 Type -> Type -> Type->Type 1287testdata/Builtins.lc 401:61-401:70 Type->Type
1288testdata/Builtins.lc 396:66-401:82 Type -> Type->Type 1288testdata/Builtins.lc 401:61-401:70 Type -> Type -> Type->Type
1289testdata/Builtins.lc 396:66-401:82 Type->Type 1289testdata/Builtins.lc 396:19-396:53 Type
1290testdata/Builtins.lc 396:66-401:82 Type 1290testdata/Builtins.lc 397:19-402:82 Type
1291testdata/Builtins.lc 396:66-396:81 Type->Type 1291testdata/Builtins.lc 397:66-402:82 Type -> Type -> Type -> Type -> Type->Type
1292testdata/Builtins.lc 396:66-396:81 Type 1292testdata/Builtins.lc 397:66-402:82 Type -> Type -> Type -> Type->Type
1293testdata/Builtins.lc 396:66-396:81 Type -> Type -> Type -> Type -> Type->Type 1293testdata/Builtins.lc 397:66-402:82 Type -> Type -> Type->Type
1294testdata/Builtins.lc 401:70-401:82 Type 1294testdata/Builtins.lc 397:66-402:82 Type -> Type->Type
1295testdata/Builtins.lc 401:70-401:82 Type->Type 1295testdata/Builtins.lc 397:66-402:82 Type->Type
1296testdata/Builtins.lc 401:70-401:82 Type -> Type -> Type -> Type->Type 1296testdata/Builtins.lc 397:66-402:82 Type
1297testdata/Builtins.lc 396:19-396:62 Type 1297testdata/Builtins.lc 397:66-397:81 Type->Type
1298testdata/Builtins.lc 397:25-397:36 Type 1298testdata/Builtins.lc 397:66-397:81 Type
1299testdata/Builtins.lc 397:34-397:36 Type->Type 1299testdata/Builtins.lc 397:66-397:81 Type -> Type -> Type -> Type -> Type->Type
1300testdata/Builtins.lc 397:34-397:36 Type 1300testdata/Builtins.lc 402:70-402:82 Type
1301testdata/Builtins.lc 397:25-397:30 Type 1301testdata/Builtins.lc 402:70-402:82 Type->Type
1302testdata/Builtins.lc 391:5-391:17 Type->Type 1302testdata/Builtins.lc 402:70-402:82 Type -> Type -> Type -> Type->Type
1303testdata/Builtins.lc 405:18-405:21 Type 1303testdata/Builtins.lc 397:19-397:62 Type
1304testdata/Builtins.lc 405:25-405:53 Type 1304testdata/Builtins.lc 398:25-398:36 Type
1305testdata/Builtins.lc 405:25-405:37 Type 1305testdata/Builtins.lc 398:34-398:36 Type->Type
1306testdata/Builtins.lc 405:41-405:53 Type 1306testdata/Builtins.lc 398:34-398:36 Type
1307testdata/Builtins.lc 405:41-405:45 Type 1307testdata/Builtins.lc 398:25-398:30 Type
1308testdata/Builtins.lc 405:49-405:53 Type 1308testdata/Builtins.lc 392:5-392:17 Type->Type
1309testdata/Builtins.lc 405:6-405:14 'Nat -> 'DepthHandler -> Type->Type 1309testdata/Builtins.lc 406:18-406:21 Type
1310testdata/Builtins.lc 407:20-407:78 Type 1310testdata/Builtins.lc 406:25-406:53 Type
1311testdata/Builtins.lc 407:20-407:78 V3 1311testdata/Builtins.lc 406:25-406:37 Type
1312testdata/Builtins.lc 407:25-407:30 Type 1312testdata/Builtins.lc 406:41-406:53 Type
1313testdata/Builtins.lc 407:35-407:43 'Nat -> 'DepthHandler -> Type->Type 1313testdata/Builtins.lc 406:41-406:45 Type
1314testdata/Builtins.lc 407:20-407:78 'Nat 1314testdata/Builtins.lc 406:49-406:53 Type
1315testdata/Builtins.lc 407:20-407:78 V2 1315testdata/Builtins.lc 406:6-406:14 'Nat -> 'DepthHandler -> Type->Type
1316testdata/Builtins.lc 407:53-407:61 'Nat -> 'DepthHandler -> Type->Type 1316testdata/Builtins.lc 408:29-408:35 Type->Type
1317testdata/Builtins.lc 407:64-407:76 'DepthHandler 1317testdata/Builtins.lc 408:37-408:51 Type
1318testdata/Builtins.lc 407:1-407:15 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Fragment c a b -> 'Fragment c DefinedDepth b 1318testdata/Builtins.lc 408:37-408:45 'Nat -> 'DepthHandler -> Type->Type
1319testdata/Builtins.lc 409:21-409:30 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1319testdata/Builtins.lc 408:46-408:47 'Nat
1320testdata/Builtins.lc 409:32-409:46 V1->V1 1320testdata/Builtins.lc 408:46-408:47 V5
1321testdata/Builtins.lc 409:32-409:46 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Fragment c a b -> 'Fragment c DefinedDepth b 1321testdata/Builtins.lc 408:48-408:49 'DepthHandler
1322testdata/Builtins.lc 409:1-409:16 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Stream ('Fragment c a b) -> 'Stream ('Fragment c DefinedDepth b) 1322testdata/Builtins.lc 408:48-408:49 V3
1323testdata/Builtins.lc 416:21-420:62 Type 1323testdata/Builtins.lc 408:50-408:51 Type
1324testdata/Builtins.lc 416:21-420:62 V7 1324testdata/Builtins.lc 408:50-408:51 V1
1325testdata/Builtins.lc 416:25-416:41 Type->Type 1325testdata/Builtins.lc 408:6-408:20 'Nat -> 'DepthHandler -> Type->Type
1326testdata/Builtins.lc 416:21-420:62 V5 1326testdata/Builtins.lc 410:20-410:78 Type
1327testdata/Builtins.lc 416:21-420:62 V4 1327testdata/Builtins.lc 410:20-410:78 V3
1328testdata/Builtins.lc 416:49-416:62 Type -> Type->Type 1328testdata/Builtins.lc 410:25-410:30 Type
1329testdata/Builtins.lc 416:64-416:75 Type 1329testdata/Builtins.lc 410:35-410:43 'Nat -> 'DepthHandler -> Type->Type
1330testdata/Builtins.lc 416:64-416:67 'Nat -> Type->Type 1330testdata/Builtins.lc 410:20-410:78 'Nat
1331testdata/Builtins.lc 416:70-416:75 Type 1331testdata/Builtins.lc 410:20-410:78 V2
1332testdata/Builtins.lc 417:26-417:31 Type 1332testdata/Builtins.lc 410:53-410:61 'Nat -> 'DepthHandler -> Type->Type
1333testdata/Builtins.lc 419:20-419:33 'PrimitiveType->Type 1333testdata/Builtins.lc 410:64-410:76 'DepthHandler
1334testdata/Builtins.lc 416:21-420:62 'PrimitiveType 1334testdata/Builtins.lc 410:1-410:15 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Fragment c a b -> 'Fragment c DefinedDepth b
1335testdata/Builtins.lc 420:20-420:29 'PrimitiveType -> Type->Type 1335testdata/Builtins.lc 412:21-412:30 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1336testdata/Builtins.lc 420:37-420:45 'Nat -> 'DepthHandler -> Type->Type 1336testdata/Builtins.lc 412:32-412:46 V1->V1
1337testdata/Builtins.lc 420:48-420:60 'DepthHandler 1337testdata/Builtins.lc 412:32-412:46 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Fragment c a b -> 'Fragment c DefinedDepth b
1338testdata/Builtins.lc 416:1-416:11 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Fragment (Succ Zero) DefinedDepth a 1338testdata/Builtins.lc 412:1-412:16 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Float -> 'Stream ('Fragment c a b) -> 'Stream ('Fragment c DefinedDepth b)
1339testdata/Builtins.lc 422:20-422:56 Type 1339testdata/Builtins.lc 419:21-423:68 Type
1340testdata/Builtins.lc 422:20-422:56 V3 1340testdata/Builtins.lc 419:21-423:68 V7
1341testdata/Builtins.lc 422:25-422:29 Type 1341testdata/Builtins.lc 419:25-419:41 Type->Type
1342testdata/Builtins.lc 422:34-422:42 'Nat -> 'DepthHandler -> Type->Type 1342testdata/Builtins.lc 419:21-423:68 V5
1343testdata/Builtins.lc 422:20-422:56 'Nat 1343testdata/Builtins.lc 419:21-423:68 V4
1344testdata/Builtins.lc 422:20-422:56 V2 1344testdata/Builtins.lc 419:49-419:62 Type -> Type->Type
1345testdata/Builtins.lc 422:52-422:56 Type 1345testdata/Builtins.lc 419:64-419:75 Type
1346testdata/Builtins.lc 422:1-422:15 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Bool -> 'Fragment c a b -> 'Bool 1346testdata/Builtins.lc 419:64-419:67 'Nat -> Type->Type
1347testdata/Builtins.lc 424:21-424:84 Type 1347testdata/Builtins.lc 419:70-419:75 Type
1348testdata/Builtins.lc 424:21-424:84 V5 1348testdata/Builtins.lc 420:26-420:31 Type
1349testdata/Builtins.lc 424:26-424:30 Type 1349testdata/Builtins.lc 422:20-422:33 'PrimitiveType->Type
1350testdata/Builtins.lc 424:35-424:41 Type->Type 1350testdata/Builtins.lc 419:21-423:68 'PrimitiveType
1351testdata/Builtins.lc 424:43-424:51 'Nat -> 'DepthHandler -> Type->Type 1351testdata/Builtins.lc 423:20-423:29 'PrimitiveType -> Type->Type
1352testdata/Builtins.lc 424:21-424:84 'Nat 1352testdata/Builtins.lc 423:37-423:51 'Nat -> 'DepthHandler -> Type->Type
1353testdata/Builtins.lc 424:21-424:84 V4 1353testdata/Builtins.lc 423:54-423:66 'DepthHandler
1354testdata/Builtins.lc 424:21-424:84 'DepthHandler 1354testdata/Builtins.lc 419:1-419:11 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) DefinedDepth a)
1355testdata/Builtins.lc 424:21-424:84 V2 1355testdata/Builtins.lc 425:20-425:56 Type
1356testdata/Builtins.lc 424:62-424:68 Type->Type 1356testdata/Builtins.lc 425:20-425:56 V3
1357testdata/Builtins.lc 424:70-424:78 'Nat -> 'DepthHandler -> Type->Type 1357testdata/Builtins.lc 425:25-425:29 Type
1358testdata/Builtins.lc 425:21-425:49 {a} -> {b:'Nat} -> {c:'DepthHandler} -> a->'Bool -> 'Stream ('Fragment b c a) -> 'Stream ('Fragment b c a) 1358testdata/Builtins.lc 425:34-425:42 'Nat -> 'DepthHandler -> Type->Type
1359testdata/Builtins.lc 425:21-425:49 {a:'Nat} -> {b:'DepthHandler} -> V2->'Bool -> 'Stream ('Fragment a b V3) -> 'Stream ('Fragment a b V4) 1359testdata/Builtins.lc 425:20-425:56 'Nat
1360testdata/Builtins.lc 425:21-425:49 {a:'DepthHandler} -> V2->'Bool -> 'Stream ('Fragment V2 a V3) -> 'Stream ('Fragment V3 a V4) 1360testdata/Builtins.lc 425:20-425:56 V2
1361testdata/Builtins.lc 425:21-425:49 V2->'Bool -> 'Stream ('Fragment V2 V1 V3) -> 'Stream ('Fragment V3 V2 V4) 1361testdata/Builtins.lc 425:52-425:56 Type
1362testdata/Builtins.lc 425:21-425:49 'Stream ('Fragment V2 V1 V3) -> 'Stream ('Fragment V3 V2 V4) 1362testdata/Builtins.lc 425:1-425:15 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Bool -> 'Fragment c a b -> 'Bool
1363testdata/Builtins.lc 425:21-425:33 {a} -> a->'Bool -> 'Stream a -> 'Stream a 1363testdata/Builtins.lc 427:21-427:82 Type
1364testdata/Builtins.lc 425:35-425:49 V0->'Bool 1364testdata/Builtins.lc 427:21-427:82 V5
1365testdata/Builtins.lc 425:35-425:49 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Bool -> 'Fragment c a b -> 'Bool 1365testdata/Builtins.lc 427:26-427:30 Type
1366testdata/Builtins.lc 425:1-425:16 {a} -> {b:'Nat} -> {c:'DepthHandler} -> a->'Bool -> 'Stream ('Fragment b c a) -> 'Stream ('Fragment b c a) 1366testdata/Builtins.lc 427:36-427:50 'Nat -> 'DepthHandler -> Type->Type
1367testdata/Builtins.lc 427:17-427:60 Type 1367testdata/Builtins.lc 427:21-427:82 'Nat
1368testdata/Builtins.lc 427:17-427:60 V7 1368testdata/Builtins.lc 427:21-427:82 V4
1369testdata/Builtins.lc 427:17-427:60 V6 1369testdata/Builtins.lc 427:21-427:82 'DepthHandler
1370testdata/Builtins.lc 427:28-427:36 'Nat -> 'DepthHandler -> Type->Type 1370testdata/Builtins.lc 427:21-427:82 V2
1371testdata/Builtins.lc 427:17-427:60 'Nat 1371testdata/Builtins.lc 427:62-427:76 'Nat -> 'DepthHandler -> Type->Type
1372testdata/Builtins.lc 427:17-427:60 V4 1372testdata/Builtins.lc 428:21-428:49 {a} -> {b:'Nat} -> {c:'DepthHandler} -> a->'Bool -> 'Stream ('Fragment b c a) -> 'Stream ('Fragment b c a)
1373testdata/Builtins.lc 427:17-427:60 'DepthHandler 1373testdata/Builtins.lc 428:21-428:49 {a:'Nat} -> {b:'DepthHandler} -> V2->'Bool -> 'Stream ('Fragment a b V3) -> 'Stream ('Fragment a b V4)
1374testdata/Builtins.lc 427:17-427:60 V2 1374testdata/Builtins.lc 428:21-428:49 {a:'DepthHandler} -> V2->'Bool -> 'Stream ('Fragment V2 a V3) -> 'Stream ('Fragment V3 a V4)
1375testdata/Builtins.lc 427:46-427:54 'Nat -> 'DepthHandler -> Type->Type 1375testdata/Builtins.lc 428:21-428:49 V2->'Bool -> 'Stream ('Fragment V2 V1 V3) -> 'Stream ('Fragment V3 V2 V4)
1376testdata/Builtins.lc 427:1-427:12 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Fragment c d a -> 'Fragment c d b 1376testdata/Builtins.lc 428:21-428:49 'Stream ('Fragment V2 V1 V3) -> 'Stream ('Fragment V3 V2 V4)
1377testdata/Builtins.lc 429:18-429:27 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1377testdata/Builtins.lc 428:21-428:33 {a} -> a->'Bool -> 'Stream a -> 'Stream a
1378testdata/Builtins.lc 429:29-429:40 V1->V1 1378testdata/Builtins.lc 428:35-428:49 V0->'Bool
1379testdata/Builtins.lc 429:29-429:40 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Fragment c d a -> 'Fragment c d b 1379testdata/Builtins.lc 428:35-428:49 {a:'DepthHandler} -> {b} -> {c:'Nat} -> b->'Bool -> 'Fragment c a b -> 'Bool
1380testdata/Builtins.lc 429:1-429:13 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Stream ('Fragment c d a) -> 'Stream ('Fragment c d b) 1380testdata/Builtins.lc 428:1-428:16 {a} -> {b:'Nat} -> {c:'DepthHandler} -> a->'Bool -> 'Stream ('Fragment b c a) -> 'Stream ('Fragment b c a)
1381testdata/Builtins.lc 434:13-434:26 Type->Type 1381testdata/Builtins.lc 430:17-430:60 Type
1382testdata/Builtins.lc 439:13-439:28 Type->Type 1382testdata/Builtins.lc 430:17-430:60 V7
1383testdata/Builtins.lc 442:10-443:36 Type->Type 1383testdata/Builtins.lc 430:17-430:60 V6
1384testdata/Builtins.lc 442:10-443:36 Type 1384testdata/Builtins.lc 430:28-430:36 'Nat -> 'DepthHandler -> Type->Type
1385testdata/Builtins.lc 442:10-442:23 Type->Type 1385testdata/Builtins.lc 430:17-430:60 'Nat
1386testdata/Builtins.lc 442:10-442:23 Type 1386testdata/Builtins.lc 430:17-430:60 V4
1387testdata/Builtins.lc 442:10-442:23 Type -> 'Nat->Type 1387testdata/Builtins.lc 430:17-430:60 'DepthHandler
1388testdata/Builtins.lc 442:10-442:23 'Nat->Type 1388testdata/Builtins.lc 430:17-430:60 V2
1389testdata/Builtins.lc 442:37-442:44 Type 1389testdata/Builtins.lc 430:46-430:54 'Nat -> 'DepthHandler -> Type->Type
1390testdata/Builtins.lc 443:10-443:36 Type 1390testdata/Builtins.lc 430:1-430:12 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Fragment c d a -> 'Fragment c d b
1391testdata/Builtins.lc 443:10-443:23 Type->Type 1391testdata/Builtins.lc 432:18-432:27 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1392testdata/Builtins.lc 443:10-443:23 Type 1392testdata/Builtins.lc 432:29-432:40 V1->V1
1393testdata/Builtins.lc 443:31-443:36 Type 1393testdata/Builtins.lc 432:29-432:40 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Fragment c d a -> 'Fragment c d b
1394testdata/Builtins.lc 441:7-441:20 Type->Type 1394testdata/Builtins.lc 432:1-432:13 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Stream ('Fragment c d a) -> 'Stream ('Fragment c d b)
1395testdata/Builtins.lc 441:7-441:65 Type 1395testdata/Builtins.lc 437:13-437:26 Type->Type
1396testdata/Builtins.lc 441:46-441:65 Type 1396testdata/Builtins.lc 442:13-442:28 Type->Type
1397testdata/Builtins.lc 441:46-441:63 Type->Type 1397testdata/Builtins.lc 445:10-446:36 Type->Type
1398testdata/Builtins.lc 441:64-441:65 Type 1398testdata/Builtins.lc 445:10-446:36 Type
1399testdata/Builtins.lc 442:37-443:77 {a} -> {b : 'DefaultFragOp a} -> 'FragmentOperation a 1399testdata/Builtins.lc 445:10-445:23 Type->Type
1400testdata/Builtins.lc 442:37-443:77 {a : 'DefaultFragOp V0} -> 'FragmentOperation V1 1400testdata/Builtins.lc 445:10-445:23 Type
1401testdata/Builtins.lc 442:69-442:111 a:Type -> {b : 'DefaultFragOp ('Color a)} -> 'FragmentOperation ('Color a) 1401testdata/Builtins.lc 445:10-445:23 Type -> 'Nat->Type
1402testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color V0)} -> 'FragmentOperation ('Color V1) 1402testdata/Builtins.lc 445:10-445:23 'Nat->Type
1403testdata/Builtins.lc 442:69-442:111 a:Type -> b:'Nat -> {c : 'DefaultFragOp ('Color ('VecS a b))} -> 'FragmentOperation ('Color ('VecS a b)) 1403testdata/Builtins.lc 445:37-445:44 Type
1404testdata/Builtins.lc 442:69-442:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS V1 a))} -> 'FragmentOperation ('Color ('VecS V2 a)) 1404testdata/Builtins.lc 446:10-446:36 Type
1405testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS V1 V0))} -> 'FragmentOperation ('Color ('VecS V2 V1)) 1405testdata/Builtins.lc 446:10-446:23 Type->Type
1406testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS 'Float V0))} -> 'FragmentOperation ('Color ('VecS 'Float V1)) 1406testdata/Builtins.lc 446:10-446:23 Type
1407testdata/Builtins.lc 442:69-442:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ a)))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ a))) 1407testdata/Builtins.lc 446:31-446:36 Type
1408testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ V0)))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ V1))) 1408testdata/Builtins.lc 444:7-444:20 Type->Type
1409testdata/Builtins.lc 442:69-442:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ a))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ a)))) 1409testdata/Builtins.lc 444:7-444:65 Type
1410testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ V0))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ V1)))) 1410testdata/Builtins.lc 444:46-444:65 Type
1411testdata/Builtins.lc 442:69-442:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ a)))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ a))))) 1411testdata/Builtins.lc 444:46-444:63 Type->Type
1412testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ V0)))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ V1))))) 1412testdata/Builtins.lc 444:64-444:65 Type
1413testdata/Builtins.lc 442:69-442:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ (Succ a))))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ a)))))) 1413testdata/Builtins.lc 445:37-446:77 {a} -> {b : 'DefaultFragOp a} -> 'FragmentOperation a
1414testdata/Builtins.lc 442:69-442:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ (Succ V0))))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ V1)))))) 1414testdata/Builtins.lc 445:37-446:77 {a : 'DefaultFragOp V0} -> 'FragmentOperation V1
1415testdata/Builtins.lc 442:69-442:111 {a:'Unit} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero)))))) 1415testdata/Builtins.lc 445:69-445:111 a:Type -> {b : 'DefaultFragOp ('Color a)} -> 'FragmentOperation ('Color a)
1416testdata/Builtins.lc 442:69-442:76 {a} -> {b:'Nat} -> {c} -> {d} -> {e : a ~ 'VecScalar b 'Bool} -> {f : c ~ 'VecScalar b d} -> {g : 'Num d} -> 'Blending d -> a -> 'FragmentOperation ('Color c) 1416testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color V0)} -> 'FragmentOperation ('Color V1)
1417testdata/Builtins.lc 442:77-442:87 'Blending V1 1417testdata/Builtins.lc 445:69-445:111 a:Type -> b:'Nat -> {c : 'DefaultFragOp ('Color ('VecS a b))} -> 'FragmentOperation ('Color ('VecS a b))
1418testdata/Builtins.lc 442:77-442:87 {a} -> 'Blending a 1418testdata/Builtins.lc 445:69-445:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS V1 a))} -> 'FragmentOperation ('Color ('VecS V2 a))
1419testdata/Builtins.lc 442:89-442:111 'VecScalar V2 'Bool 1419testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS V1 V0))} -> 'FragmentOperation ('Color ('VecS V2 V1))
1420testdata/Builtins.lc 442:89-442:91 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero)))) 1420testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS 'Float V0))} -> 'FragmentOperation ('Color ('VecS 'Float V1))
1421testdata/Builtins.lc 442:92-442:96 V0 1421testdata/Builtins.lc 445:69-445:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ a)))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ a)))
1422testdata/Builtins.lc 442:92-442:96 'Bool 1422testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ V0)))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ V1)))
1423testdata/Builtins.lc 442:97-442:101 'Bool 1423testdata/Builtins.lc 445:69-445:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ a))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ a))))
1424testdata/Builtins.lc 442:102-442:106 'Bool 1424testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ V0))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ V1))))
1425testdata/Builtins.lc 442:107-442:111 'Bool 1425testdata/Builtins.lc 445:69-445:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ a)))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ a)))))
1426testdata/Builtins.lc 443:31-443:77 {a : 'DefaultFragOp V1} -> 'FragmentOperation V2 1426testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ V0)))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ V1)))))
1427testdata/Builtins.lc 443:60-443:77 a:Type -> {b : 'DefaultFragOp ('Depth a)} -> 'FragmentOperation ('Depth a) 1427testdata/Builtins.lc 445:69-445:111 a:'Nat -> {b : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ (Succ a))))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ a))))))
1428testdata/Builtins.lc 443:60-443:77 {a : 'DefaultFragOp ('Depth V0)} -> 'FragmentOperation ('Depth V1) 1428testdata/Builtins.lc 445:69-445:111 {a : 'DefaultFragOp ('Color ('VecS 'Float (Succ (Succ (Succ (Succ V0))))))} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ V1))))))
1429testdata/Builtins.lc 443:60-443:77 {a:'Unit} -> 'FragmentOperation ('Depth 'Float) 1429testdata/Builtins.lc 445:69-445:111 {a:'Unit} -> 'FragmentOperation ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))))
1430testdata/Builtins.lc 443:60-443:67 'ComparisonFunction -> 'Bool -> 'FragmentOperation ('Depth 'Float) 1430testdata/Builtins.lc 445:69-445:76 {a} -> {b:'Nat} -> {c} -> {d} -> {e : a ~ 'VecScalar b 'Bool} -> {f : c ~ 'VecScalar b d} -> {g : 'Num d} -> 'Blending d -> a -> 'FragmentOperation ('Color c)
1431testdata/Builtins.lc 443:68-443:72 'ComparisonFunction 1431testdata/Builtins.lc 445:77-445:87 'Blending V1
1432testdata/Builtins.lc 443:73-443:77 'Bool 1432testdata/Builtins.lc 445:77-445:87 {a} -> 'Blending a
1433testdata/Builtins.lc 441:29-441:42 {a} -> {b} -> {c : 'DefaultFragOp b} -> 'FragmentOperation b 1433testdata/Builtins.lc 445:89-445:111 'VecScalar V2 'Bool
1434testdata/Builtins.lc 450:24-450:27 Type 1434testdata/Builtins.lc 445:89-445:91 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
1435testdata/Builtins.lc 450:6-450:17 'Nat -> Type->Type 1435testdata/Builtins.lc 445:92-445:96 V0
1436testdata/Builtins.lc 451:19-451:109 Type 1436testdata/Builtins.lc 445:92-445:96 'Bool
1437testdata/Builtins.lc 451:19-451:27 Type->Type 1437testdata/Builtins.lc 445:97-445:101 'Bool
1438testdata/Builtins.lc 451:28-451:29 Type 1438testdata/Builtins.lc 445:102-445:106 'Bool
1439testdata/Builtins.lc 451:33-451:39 Type->Type 1439testdata/Builtins.lc 445:107-445:111 'Bool
1440testdata/Builtins.lc 451:41-451:49 'Nat -> 'DepthHandler -> Type->Type 1440testdata/Builtins.lc 446:31-446:77 {a : 'DefaultFragOp V1} -> 'FragmentOperation V2
1441testdata/Builtins.lc 451:50-451:51 'Nat 1441testdata/Builtins.lc 446:60-446:77 a:Type -> {b : 'DefaultFragOp ('Depth a)} -> 'FragmentOperation ('Depth a)
1442testdata/Builtins.lc 451:19-451:109 'DepthHandler 1442testdata/Builtins.lc 446:60-446:77 {a : 'DefaultFragOp ('Depth V0)} -> 'FragmentOperation ('Depth V1)
1443testdata/Builtins.lc 451:19-451:109 V2 1443testdata/Builtins.lc 446:60-446:77 {a:'Unit} -> 'FragmentOperation ('Depth 'Float)
1444testdata/Builtins.lc 451:55-451:69 Type 1444testdata/Builtins.lc 446:60-446:67 'ComparisonFunction -> 'Bool -> 'FragmentOperation ('Depth 'Float)
1445testdata/Builtins.lc 451:55-451:67 Type->Type 1445testdata/Builtins.lc 446:68-446:72 'ComparisonFunction
1446testdata/Builtins.lc 451:68-451:69 Type 1446testdata/Builtins.lc 446:73-446:77 'Bool
1447testdata/Builtins.lc 451:75-451:109 Type 1447testdata/Builtins.lc 444:29-444:42 {a} -> {b} -> {c : 'DefaultFragOp b} -> 'FragmentOperation b
1448testdata/Builtins.lc 451:75-451:86 'Nat -> Type->Type 1448testdata/Builtins.lc 453:24-453:27 Type
1449testdata/Builtins.lc 451:87-451:88 'Nat 1449testdata/Builtins.lc 453:6-453:17 'Nat -> Type->Type
1450testdata/Builtins.lc 451:89-451:90 Type 1450testdata/Builtins.lc 454:19-454:108 Type
1451testdata/Builtins.lc 451:94-451:109 Type 1451testdata/Builtins.lc 454:19-454:27 Type->Type
1452testdata/Builtins.lc 451:94-451:105 'Nat -> Type->Type 1452testdata/Builtins.lc 454:28-454:29 Type
1453testdata/Builtins.lc 451:106-451:107 'Nat 1453testdata/Builtins.lc 454:34-454:48 'Nat -> 'DepthHandler -> Type->Type
1454testdata/Builtins.lc 451:108-451:109 Type 1454testdata/Builtins.lc 454:49-454:50 'Nat
1455testdata/Builtins.lc 451:3-451:13 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b 1455testdata/Builtins.lc 454:19-454:108 'DepthHandler
1456testdata/Builtins.lc 452:20-452:117 Type 1456testdata/Builtins.lc 454:19-454:108 V2
1457testdata/Builtins.lc 452:20-452:36 Type->Type 1457testdata/Builtins.lc 454:54-454:68 Type
1458testdata/Builtins.lc 452:37-452:38 Type 1458testdata/Builtins.lc 454:54-454:66 Type->Type
1459testdata/Builtins.lc 452:40-452:55 Type->Type 1459testdata/Builtins.lc 454:67-454:68 Type
1460testdata/Builtins.lc 452:20-452:117 V2 1460testdata/Builtins.lc 454:74-454:108 Type
1461testdata/Builtins.lc 452:59-452:74 Type 1461testdata/Builtins.lc 454:74-454:85 'Nat -> Type->Type
1462testdata/Builtins.lc 452:59-452:70 'Nat -> Type->Type 1462testdata/Builtins.lc 454:86-454:87 'Nat
1463testdata/Builtins.lc 452:71-452:72 'Nat 1463testdata/Builtins.lc 454:88-454:89 Type
1464testdata/Builtins.lc 452:73-452:74 Type 1464testdata/Builtins.lc 454:93-454:108 Type
1465testdata/Builtins.lc 452:77-452:90 Type->Type 1465testdata/Builtins.lc 454:93-454:104 'Nat -> Type->Type
1466testdata/Builtins.lc 452:102-452:117 Type 1466testdata/Builtins.lc 454:105-454:106 'Nat
1467testdata/Builtins.lc 452:102-452:113 'Nat -> Type->Type 1467testdata/Builtins.lc 454:107-454:108 Type
1468testdata/Builtins.lc 452:114-452:115 'Nat 1468testdata/Builtins.lc 454:3-454:13 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b
1469testdata/Builtins.lc 452:116-452:117 Type 1469testdata/Builtins.lc 455:20-455:117 Type
1470testdata/Builtins.lc 452:3-452:14 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b 1470testdata/Builtins.lc 455:20-455:36 Type->Type
1471testdata/Builtins.lc 454:34-454:44 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b 1471testdata/Builtins.lc 455:37-455:38 Type
1472testdata/Builtins.lc 454:50-454:62 'Stream ('Fragment V2 V0 ('RemSemantics V1)) 1472testdata/Builtins.lc 455:40-455:55 Type->Type
1473testdata/Builtins.lc 454:50-454:62 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Stream ('Fragment c d a) -> 'Stream ('Fragment c d b) 1473testdata/Builtins.lc 455:20-455:117 V2
1474testdata/Builtins.lc 454:1-454:11 {a:'Nat} -> {b} -> {c:'DepthHandler} -> {d} -> 'FragOps' b -> (d -> 'RemSemantics b) -> 'Stream ('Fragment a c d) -> 'FrameBuffer a b -> 'FrameBuffer a b 1474testdata/Builtins.lc 455:59-455:74 Type
1475testdata/Builtins.lc 456:1-456:20 {a} -> a->a 1475testdata/Builtins.lc 455:59-455:70 'Nat -> Type->Type
1476testdata/Builtins.lc 458:15-458:18 Type 1476testdata/Builtins.lc 455:71-455:72 'Nat
1477testdata/Builtins.lc 458:22-458:34 Type 1477testdata/Builtins.lc 455:73-455:74 Type
1478testdata/Builtins.lc 458:22-458:26 Type 1478testdata/Builtins.lc 455:77-455:90 Type->Type
1479testdata/Builtins.lc 458:30-458:34 Type 1479testdata/Builtins.lc 455:102-455:117 Type
1480testdata/Builtins.lc 458:6-458:11 'Nat -> Type->Type 1480testdata/Builtins.lc 455:102-455:113 'Nat -> Type->Type
1481testdata/Builtins.lc 459:48-460:56 Type 1481testdata/Builtins.lc 455:114-455:115 'Nat
1482testdata/Builtins.lc 459:48-459:51 Type->Type 1482testdata/Builtins.lc 455:116-455:117 Type
1483testdata/Builtins.lc 459:52-459:53 Type 1483testdata/Builtins.lc 455:3-455:14 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b
1484testdata/Builtins.lc 459:52-459:53 V3 1484testdata/Builtins.lc 457:34-457:44 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b
1485testdata/Builtins.lc 459:55-460:56 Type 1485testdata/Builtins.lc 457:50-457:62 'Stream ('Fragment V2 V0 ('RemSemantics V1))
1486testdata/Builtins.lc 459:55-459:60 Type 1486testdata/Builtins.lc 457:50-457:62 {a} -> {b} -> {c:'Nat} -> {d:'DepthHandler} -> a->b -> 'Stream ('Fragment c d a) -> 'Stream ('Fragment c d b)
1487testdata/Builtins.lc 459:55-459:60 V2 1487testdata/Builtins.lc 457:1-457:11 {a:'Nat} -> {b} -> {c:'DepthHandler} -> {d} -> 'FragOps' b -> (d -> 'RemSemantics b) -> 'Stream ('Fragment a c d) -> 'FrameBuffer a b -> 'FrameBuffer a b
1488testdata/Builtins.lc 459:63-459:76 Type 1488testdata/Builtins.lc 459:1-459:20 {a} -> a->a
1489testdata/Builtins.lc 459:63-459:72 'Nat -> Type->Type 1489testdata/Builtins.lc 461:15-461:18 Type
1490testdata/Builtins.lc 459:73-459:74 'Nat 1490testdata/Builtins.lc 461:22-461:34 Type
1491testdata/Builtins.lc 459:73-459:74 V4 1491testdata/Builtins.lc 461:22-461:26 Type
1492testdata/Builtins.lc 459:75-459:76 Type 1492testdata/Builtins.lc 461:30-461:34 Type
1493testdata/Builtins.lc 460:26-460:56 Type 1493testdata/Builtins.lc 461:6-461:11 'Nat -> Type->Type
1494testdata/Builtins.lc 460:26-460:31 Type 1494testdata/Builtins.lc 462:48-463:56 Type
1495testdata/Builtins.lc 460:36-460:56 Type 1495testdata/Builtins.lc 462:48-462:51 Type->Type
1496testdata/Builtins.lc 460:36-460:41 'Nat -> Type->Type 1496testdata/Builtins.lc 462:52-462:53 Type
1497testdata/Builtins.lc 460:42-460:43 'Nat 1497testdata/Builtins.lc 462:52-462:53 V3
1498testdata/Builtins.lc 460:42-460:43 V7 1498testdata/Builtins.lc 462:55-463:56 Type
1499testdata/Builtins.lc 460:45-460:56 Type 1499testdata/Builtins.lc 462:55-462:60 Type
1500testdata/Builtins.lc 460:45-460:50 Type->Type 1500testdata/Builtins.lc 462:55-462:60 V2
1501testdata/Builtins.lc 460:51-460:56 Type 1501testdata/Builtins.lc 462:63-462:76 Type
1502testdata/Builtins.lc 459:3-459:13 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d) 1502testdata/Builtins.lc 462:63-462:72 'Nat -> Type->Type
1503testdata/Builtins.lc 461:37-461:67 Type 1503testdata/Builtins.lc 462:73-462:74 'Nat
1504testdata/Builtins.lc 461:37-461:42 Type 1504testdata/Builtins.lc 462:73-462:74 V4
1505testdata/Builtins.lc 461:47-461:67 Type 1505testdata/Builtins.lc 462:75-462:76 Type
1506testdata/Builtins.lc 461:47-461:52 'Nat -> Type->Type 1506testdata/Builtins.lc 463:26-463:56 Type
1507testdata/Builtins.lc 461:53-461:54 'Nat 1507testdata/Builtins.lc 463:26-463:31 Type
1508testdata/Builtins.lc 461:53-461:54 V2 1508testdata/Builtins.lc 463:36-463:56 Type
1509testdata/Builtins.lc 461:56-461:67 Type 1509testdata/Builtins.lc 463:36-463:41 'Nat -> Type->Type
1510testdata/Builtins.lc 461:56-461:61 Type->Type 1510testdata/Builtins.lc 463:42-463:43 'Nat
1511testdata/Builtins.lc 461:62-461:67 Type 1511testdata/Builtins.lc 463:42-463:43 V7
1512testdata/Builtins.lc 461:3-461:13 {a:'Nat} -> 'Float -> 'Image a ('Depth 'Float) 1512testdata/Builtins.lc 463:45-463:56 Type
1513testdata/Builtins.lc 462:37-462:67 Type 1513testdata/Builtins.lc 463:45-463:50 Type->Type
1514testdata/Builtins.lc 462:37-462:40 Type 1514testdata/Builtins.lc 463:51-463:56 Type
1515testdata/Builtins.lc 462:47-462:67 Type 1515testdata/Builtins.lc 462:3-462:13 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d)
1516testdata/Builtins.lc 462:47-462:52 'Nat -> Type->Type 1516testdata/Builtins.lc 464:37-464:67 Type
1517testdata/Builtins.lc 462:53-462:54 'Nat 1517testdata/Builtins.lc 464:37-464:42 Type
1518testdata/Builtins.lc 462:53-462:54 V2 1518testdata/Builtins.lc 464:47-464:67 Type
1519testdata/Builtins.lc 462:56-462:67 Type 1519testdata/Builtins.lc 464:47-464:52 'Nat -> Type->Type
1520testdata/Builtins.lc 462:56-462:63 Type->Type 1520testdata/Builtins.lc 464:53-464:54 'Nat
1521testdata/Builtins.lc 462:64-462:67 Type 1521testdata/Builtins.lc 464:53-464:54 V2
1522testdata/Builtins.lc 462:3-462:15 {a:'Nat} -> 'Int -> 'Image a ('Stencil 'Int) 1522testdata/Builtins.lc 464:56-464:67 Type
1523testdata/Builtins.lc 465:26-465:54 Type 1523testdata/Builtins.lc 464:56-464:61 Type->Type
1524testdata/Builtins.lc 465:26-465:37 'Nat -> Type->Type 1524testdata/Builtins.lc 464:62-464:67 Type
1525testdata/Builtins.lc 465:26-465:54 V1 1525testdata/Builtins.lc 464:3-464:13 {a:'Nat} -> 'Float -> 'Image a ('Depth 'Float)
1526testdata/Builtins.lc 465:45-465:50 'Nat -> Type->Type 1526testdata/Builtins.lc 465:37-465:67 Type
1527testdata/Builtins.lc 465:3-465:11 {a} -> 'FrameBuffer (Succ Zero) a -> 'Image (Succ Zero) a 1527testdata/Builtins.lc 465:37-465:40 Type
1528testdata/Builtins.lc 466:26-466:37 'Nat -> Type->Type 1528testdata/Builtins.lc 465:47-465:67 Type
1529testdata/Builtins.lc 466:40-466:74 Type 1529testdata/Builtins.lc 465:47-465:52 'Nat -> Type->Type
1530testdata/Builtins.lc 466:40-466:74 Type -> Type->Type 1530testdata/Builtins.lc 465:53-465:54 'Nat
1531testdata/Builtins.lc 466:41-466:52 Type 1531testdata/Builtins.lc 465:53-465:54 V2
1532testdata/Builtins.lc 466:41-466:46 Type->Type 1532testdata/Builtins.lc 465:56-465:67 Type
1533testdata/Builtins.lc 466:47-466:52 Type 1533testdata/Builtins.lc 465:56-465:63 Type->Type
1534testdata/Builtins.lc 466:54-466:72 Type 1534testdata/Builtins.lc 465:64-465:67 Type
1535testdata/Builtins.lc 466:54-466:59 Type->Type 1535testdata/Builtins.lc 465:3-465:15 {a:'Nat} -> 'Int -> 'Image a ('Stencil 'Int)
1536testdata/Builtins.lc 466:61-466:72 Type 1536testdata/Builtins.lc 468:26-468:54 Type
1537testdata/Builtins.lc 466:61-466:64 'Nat -> Type->Type 1537testdata/Builtins.lc 468:26-468:37 'Nat -> Type->Type
1538testdata/Builtins.lc 466:67-466:72 Type 1538testdata/Builtins.lc 468:26-468:54 V1
1539testdata/Builtins.lc 466:78-466:105 Type 1539testdata/Builtins.lc 468:45-468:50 'Nat -> Type->Type
1540testdata/Builtins.lc 466:78-466:83 'Nat -> Type->Type 1540testdata/Builtins.lc 468:3-468:11 {a} -> 'FrameBuffer (Succ Zero) a -> 'Image (Succ Zero) a
1541testdata/Builtins.lc 466:87-466:105 Type
1542testdata/Builtins.lc 466:87-466:92 Type->Type
1543testdata/Builtins.lc 466:94-466:105 Type
1544testdata/Builtins.lc 466:94-466:97 'Nat -> Type->Type
1545testdata/Builtins.lc 466:100-466:105 Type
1546testdata/Builtins.lc 466:3-466:16 'FrameBuffer (Succ Zero) ('Tuple2 ('Depth 'Float) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))))) -> 'Image (Succ Zero) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))))
1547testdata/Builtins.lc 460:42-466:105 Type
1548testdata/Builtins.lc 460:42-460:56 Type
1549testdata/Builtins.lc 461:53-466:105 Type
1550testdata/Builtins.lc 461:53-461:67 Type
1551testdata/Builtins.lc 462:53-466:105 Type
1552testdata/Builtins.lc 462:53-462:67 Type
1553testdata/Builtins.lc 465:26-466:105 Type
1554testdata/Builtins.lc 468:6-468:12 Type
1555testdata/Builtins.lc 469:26-469:51 Type
1556testdata/Builtins.lc 469:26-469:37 'Nat -> Type->Type 1541testdata/Builtins.lc 469:26-469:37 'Nat -> Type->Type
1557testdata/Builtins.lc 469:26-469:51 'Nat 1542testdata/Builtins.lc 469:40-469:74 Type
1558testdata/Builtins.lc 469:26-469:51 V3 1543testdata/Builtins.lc 469:40-469:74 Type -> Type->Type
1559testdata/Builtins.lc 469:26-469:51 V1 1544testdata/Builtins.lc 469:41-469:52 Type
1560testdata/Builtins.lc 469:45-469:51 Type 1545testdata/Builtins.lc 469:41-469:46 Type->Type
1561testdata/Builtins.lc 469:3-469:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output 1546testdata/Builtins.lc 469:47-469:52 Type
1562testdata/Builtins.lc 475:34-475:73 Type 1547testdata/Builtins.lc 469:54-469:72 Type
1563testdata/Builtins.lc 475:34-475:37 Type->Type 1548testdata/Builtins.lc 469:54-469:59 Type->Type
1564testdata/Builtins.lc 475:39-475:55 Type->Type 1549testdata/Builtins.lc 469:61-469:72 Type
1565testdata/Builtins.lc 475:34-475:73 V1 1550testdata/Builtins.lc 469:61-469:64 'Nat -> Type->Type
1566testdata/Builtins.lc 475:1-475:8 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1551testdata/Builtins.lc 469:67-469:72 Type
1567testdata/Builtins.lc 475:10-475:17 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1552testdata/Builtins.lc 469:78-469:105 Type
1568testdata/Builtins.lc 475:19-475:26 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1553testdata/Builtins.lc 469:78-469:83 'Nat -> Type->Type
1569testdata/Builtins.lc 476:35-476:80 Type 1554testdata/Builtins.lc 469:87-469:105 Type
1570testdata/Builtins.lc 476:35-476:80 V3 1555testdata/Builtins.lc 469:87-469:92 Type->Type
1571testdata/Builtins.lc 476:39-476:55 Type->Type 1556testdata/Builtins.lc 469:94-469:105 Type
1572testdata/Builtins.lc 476:35-476:80 V1 1557testdata/Builtins.lc 469:94-469:97 'Nat -> Type->Type
1573testdata/Builtins.lc 476:59-476:62 Type->Type 1558testdata/Builtins.lc 469:100-469:105 Type
1574testdata/Builtins.lc 476:1-476:9 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1559testdata/Builtins.lc 469:3-469:16 'FrameBuffer (Succ Zero) ('Tuple2 ('Depth 'Float) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))))) -> 'Image (Succ Zero) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))))
1575testdata/Builtins.lc 476:11-476:19 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1560testdata/Builtins.lc 463:42-469:105 Type
1576testdata/Builtins.lc 476:21-476:29 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1561testdata/Builtins.lc 463:42-463:56 Type
1577testdata/Builtins.lc 477:35-477:75 Type 1562testdata/Builtins.lc 464:53-469:105 Type
1578testdata/Builtins.lc 477:35-477:38 Type->Type 1563testdata/Builtins.lc 464:53-464:67 Type
1579testdata/Builtins.lc 477:35-477:75 V5 1564testdata/Builtins.lc 465:53-469:105 Type
1580testdata/Builtins.lc 477:35-477:75 V4 1565testdata/Builtins.lc 465:53-465:67 Type
1581testdata/Builtins.lc 477:46-477:55 'Nat -> Type->Type 1566testdata/Builtins.lc 468:26-469:105 Type
1582testdata/Builtins.lc 477:35-477:75 'Nat 1567testdata/Builtins.lc 471:6-471:12 Type
1583testdata/Builtins.lc 477:35-477:75 V2 1568testdata/Builtins.lc 472:26-472:51 Type
1584testdata/Builtins.lc 477:1-477:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1569testdata/Builtins.lc 472:26-472:37 'Nat -> Type->Type
1585testdata/Builtins.lc 477:10-477:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1570testdata/Builtins.lc 472:26-472:51 'Nat
1586testdata/Builtins.lc 478:35-478:75 Type 1571testdata/Builtins.lc 472:26-472:51 V3
1587testdata/Builtins.lc 478:35-478:38 Type->Type 1572testdata/Builtins.lc 472:26-472:51 V1
1588testdata/Builtins.lc 478:35-478:75 V5 1573testdata/Builtins.lc 472:45-472:51 Type
1589testdata/Builtins.lc 478:35-478:75 V4 1574testdata/Builtins.lc 472:3-472:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output
1590testdata/Builtins.lc 478:46-478:55 'Nat -> Type->Type 1575testdata/Builtins.lc 478:34-478:73 Type
1591testdata/Builtins.lc 478:35-478:75 'Nat 1576testdata/Builtins.lc 478:34-478:37 Type->Type
1592testdata/Builtins.lc 478:35-478:75 V2 1577testdata/Builtins.lc 478:39-478:55 Type->Type
1593testdata/Builtins.lc 478:1-478:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1578testdata/Builtins.lc 478:34-478:73 V1
1594testdata/Builtins.lc 478:11-478:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1579testdata/Builtins.lc 478:1-478:8 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1595testdata/Builtins.lc 479:34-479:71 Type 1580testdata/Builtins.lc 478:10-478:17 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1596testdata/Builtins.lc 479:34-479:40 Type->Type 1581testdata/Builtins.lc 478:19-478:26 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1597testdata/Builtins.lc 479:42-479:58 Type->Type 1582testdata/Builtins.lc 479:35-479:80 Type
1598testdata/Builtins.lc 479:34-479:71 V1 1583testdata/Builtins.lc 479:35-479:80 V3
1599testdata/Builtins.lc 479:1-479:8 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a 1584testdata/Builtins.lc 479:39-479:55 Type->Type
1600testdata/Builtins.lc 481:35-481:80 Type 1585testdata/Builtins.lc 479:35-479:80 V1
1601testdata/Builtins.lc 481:35-481:43 Type->Type 1586testdata/Builtins.lc 479:59-479:62 Type->Type
1602testdata/Builtins.lc 481:35-481:80 V5 1587testdata/Builtins.lc 479:1-479:9 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1603testdata/Builtins.lc 481:35-481:80 V4 1588testdata/Builtins.lc 479:11-479:19 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1604testdata/Builtins.lc 481:51-481:60 'Nat -> Type->Type 1589testdata/Builtins.lc 479:21-479:29 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1605testdata/Builtins.lc 481:35-481:80 'Nat 1590testdata/Builtins.lc 480:35-480:75 Type
1606testdata/Builtins.lc 481:35-481:80 V2 1591testdata/Builtins.lc 480:35-480:38 Type->Type
1607testdata/Builtins.lc 481:1-481:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1592testdata/Builtins.lc 480:35-480:75 V5
1608testdata/Builtins.lc 481:11-481:18 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1593testdata/Builtins.lc 480:35-480:75 V4
1609testdata/Builtins.lc 481:20-481:28 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1594testdata/Builtins.lc 480:46-480:55 'Nat -> Type->Type
1610testdata/Builtins.lc 482:35-482:80 Type 1595testdata/Builtins.lc 480:35-480:75 'Nat
1611testdata/Builtins.lc 482:35-482:43 Type->Type 1596testdata/Builtins.lc 480:35-480:75 V2
1612testdata/Builtins.lc 482:35-482:80 V5 1597testdata/Builtins.lc 480:1-480:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1613testdata/Builtins.lc 482:35-482:80 V4 1598testdata/Builtins.lc 480:10-480:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1614testdata/Builtins.lc 482:51-482:60 'Nat -> Type->Type 1599testdata/Builtins.lc 481:35-481:75 Type
1615testdata/Builtins.lc 482:35-482:80 'Nat 1600testdata/Builtins.lc 481:35-481:38 Type->Type
1616testdata/Builtins.lc 482:35-482:80 V2 1601testdata/Builtins.lc 481:35-481:75 V5
1617testdata/Builtins.lc 482:1-482:10 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1602testdata/Builtins.lc 481:35-481:75 V4
1618testdata/Builtins.lc 482:12-482:20 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1603testdata/Builtins.lc 481:46-481:55 'Nat -> Type->Type
1619testdata/Builtins.lc 482:22-482:31 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1604testdata/Builtins.lc 481:35-481:75 'Nat
1620testdata/Builtins.lc 483:35-483:75 Type 1605testdata/Builtins.lc 481:35-481:75 V2
1621testdata/Builtins.lc 483:35-483:43 Type->Type 1606testdata/Builtins.lc 481:1-481:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1622testdata/Builtins.lc 483:35-483:75 V5 1607testdata/Builtins.lc 481:11-481:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1623testdata/Builtins.lc 483:35-483:75 V4 1608testdata/Builtins.lc 482:34-482:71 Type
1624testdata/Builtins.lc 483:51-483:60 'Nat -> Type->Type 1609testdata/Builtins.lc 482:34-482:40 Type->Type
1625testdata/Builtins.lc 483:35-483:75 'Nat 1610testdata/Builtins.lc 482:42-482:58 Type->Type
1626testdata/Builtins.lc 483:35-483:75 V2 1611testdata/Builtins.lc 482:34-482:71 V1
1627testdata/Builtins.lc 483:1-483:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b->b 1612testdata/Builtins.lc 482:1-482:8 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a
1628testdata/Builtins.lc 484:35-484:102 Type 1613testdata/Builtins.lc 484:35-484:80 Type
1629testdata/Builtins.lc 484:35-484:43 Type->Type 1614testdata/Builtins.lc 484:35-484:43 Type->Type
1630testdata/Builtins.lc 484:35-484:102 V7 1615testdata/Builtins.lc 484:35-484:80 V5
1631testdata/Builtins.lc 484:35-484:102 V6 1616testdata/Builtins.lc 484:35-484:80 V4
1632testdata/Builtins.lc 484:51-484:60 'Nat -> Type->Type 1617testdata/Builtins.lc 484:51-484:60 'Nat -> Type->Type
1633testdata/Builtins.lc 484:35-484:102 'Nat 1618testdata/Builtins.lc 484:35-484:80 'Nat
1634testdata/Builtins.lc 484:35-484:102 V4 1619testdata/Builtins.lc 484:35-484:80 V2
1635testdata/Builtins.lc 484:35-484:102 V3 1620testdata/Builtins.lc 484:1-484:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1636testdata/Builtins.lc 484:70-484:79 'Nat -> Type->Type 1621testdata/Builtins.lc 484:11-484:18 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1637testdata/Builtins.lc 484:82-484:86 Type 1622testdata/Builtins.lc 484:20-484:28 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1638testdata/Builtins.lc 484:1-484:12 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b 1623testdata/Builtins.lc 485:35-485:80 Type
1639testdata/Builtins.lc 484:14-484:25 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b
1640testdata/Builtins.lc 485:35-485:83 Type
1641testdata/Builtins.lc 485:35-485:43 Type->Type 1624testdata/Builtins.lc 485:35-485:43 Type->Type
1642testdata/Builtins.lc 485:35-485:83 V5 1625testdata/Builtins.lc 485:35-485:80 V5
1643testdata/Builtins.lc 485:35-485:83 V4 1626testdata/Builtins.lc 485:35-485:80 V4
1644testdata/Builtins.lc 485:51-485:60 'Nat -> Type->Type 1627testdata/Builtins.lc 485:51-485:60 'Nat -> Type->Type
1645testdata/Builtins.lc 485:35-485:83 'Nat 1628testdata/Builtins.lc 485:35-485:80 'Nat
1646testdata/Builtins.lc 485:35-485:83 V2 1629testdata/Builtins.lc 485:35-485:80 V2
1647testdata/Builtins.lc 485:74-485:78 Type 1630testdata/Builtins.lc 485:1-485:10 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1648testdata/Builtins.lc 485:1-485:13 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b 1631testdata/Builtins.lc 485:12-485:20 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1649testdata/Builtins.lc 485:15-485:27 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b 1632testdata/Builtins.lc 485:22-485:31 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1650testdata/Builtins.lc 487:34-487:38 Type 1633testdata/Builtins.lc 486:35-486:75 Type
1651testdata/Builtins.lc 487:42-487:54 Type 1634testdata/Builtins.lc 486:35-486:43 Type->Type
1652testdata/Builtins.lc 487:42-487:46 Type 1635testdata/Builtins.lc 486:35-486:75 V5
1653testdata/Builtins.lc 487:50-487:54 Type 1636testdata/Builtins.lc 486:35-486:75 V4
1654testdata/Builtins.lc 487:1-487:8 'Bool -> 'Bool->'Bool 1637testdata/Builtins.lc 486:51-486:60 'Nat -> Type->Type
1655testdata/Builtins.lc 487:10-487:16 'Bool -> 'Bool->'Bool 1638testdata/Builtins.lc 486:35-486:75 'Nat
1656testdata/Builtins.lc 487:18-487:25 'Bool -> 'Bool->'Bool 1639testdata/Builtins.lc 486:35-486:75 V2
1657testdata/Builtins.lc 488:35-488:66 Type 1640testdata/Builtins.lc 486:1-486:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b->b
1658testdata/Builtins.lc 488:35-488:66 V3 1641testdata/Builtins.lc 487:35-487:102 Type
1659testdata/Builtins.lc 488:39-488:48 'Nat -> Type->Type 1642testdata/Builtins.lc 487:35-487:43 Type->Type
1660testdata/Builtins.lc 488:35-488:66 'Nat 1643testdata/Builtins.lc 487:35-487:102 V7
1661testdata/Builtins.lc 488:35-488:66 V1 1644testdata/Builtins.lc 487:35-487:102 V6
1662testdata/Builtins.lc 488:51-488:55 Type 1645testdata/Builtins.lc 487:51-487:60 'Nat -> Type->Type
1663testdata/Builtins.lc 488:1-488:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Bool} -> a->a 1646testdata/Builtins.lc 487:35-487:102 'Nat
1664testdata/Builtins.lc 489:34-489:58 Type 1647testdata/Builtins.lc 487:35-487:102 V4
1665testdata/Builtins.lc 489:34-489:43 'Nat -> Type->Type 1648testdata/Builtins.lc 487:35-487:102 V3
1666testdata/Builtins.lc 489:34-489:58 'Nat 1649testdata/Builtins.lc 487:70-487:79 'Nat -> Type->Type
1667testdata/Builtins.lc 489:34-489:58 V1 1650testdata/Builtins.lc 487:82-487:86 Type
1668testdata/Builtins.lc 489:46-489:50 Type 1651testdata/Builtins.lc 487:1-487:12 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b
1669testdata/Builtins.lc 489:54-489:58 Type 1652testdata/Builtins.lc 487:14-487:25 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b
1670testdata/Builtins.lc 489:1-489:8 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool 1653testdata/Builtins.lc 488:35-488:83 Type
1671testdata/Builtins.lc 489:10-489:17 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool 1654testdata/Builtins.lc 488:35-488:43 Type->Type
1672testdata/Builtins.lc 493:35-493:67 Type 1655testdata/Builtins.lc 488:35-488:83 V5
1673testdata/Builtins.lc 493:35-493:67 V3 1656testdata/Builtins.lc 488:35-488:83 V4
1674testdata/Builtins.lc 493:39-493:48 'Nat -> Type->Type 1657testdata/Builtins.lc 488:51-488:60 'Nat -> Type->Type
1675testdata/Builtins.lc 493:35-493:67 'Nat 1658testdata/Builtins.lc 488:35-488:83 'Nat
1676testdata/Builtins.lc 493:35-493:67 V1 1659testdata/Builtins.lc 488:35-488:83 V2
1677testdata/Builtins.lc 493:51-493:56 Type 1660testdata/Builtins.lc 488:74-488:78 Type
1678testdata/Builtins.lc 492:1-492:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1661testdata/Builtins.lc 488:1-488:13 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b
1679testdata/Builtins.lc 492:11-492:20 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1662testdata/Builtins.lc 488:15-488:27 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b
1680testdata/Builtins.lc 492:22-492:30 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1663testdata/Builtins.lc 490:34-490:38 Type
1681testdata/Builtins.lc 492:32-492:41 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1664testdata/Builtins.lc 490:42-490:54 Type
1682testdata/Builtins.lc 492:43-492:51 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1665testdata/Builtins.lc 490:42-490:46 Type
1683testdata/Builtins.lc 492:53-492:62 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1666testdata/Builtins.lc 490:50-490:54 Type
1684testdata/Builtins.lc 492:64-492:71 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1667testdata/Builtins.lc 490:1-490:8 'Bool -> 'Bool->'Bool
1685testdata/Builtins.lc 492:73-492:81 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1668testdata/Builtins.lc 490:10-490:16 'Bool -> 'Bool->'Bool
1686testdata/Builtins.lc 492:83-492:94 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1669testdata/Builtins.lc 490:18-490:25 'Bool -> 'Bool->'Bool
1687testdata/Builtins.lc 492:96-492:107 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1670testdata/Builtins.lc 491:35-491:66 Type
1688testdata/Builtins.lc 492:109-492:116 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1671testdata/Builtins.lc 491:35-491:66 V3
1689testdata/Builtins.lc 492:118-492:126 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1672testdata/Builtins.lc 491:39-491:48 'Nat -> Type->Type
1690testdata/Builtins.lc 492:128-492:135 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1673testdata/Builtins.lc 491:35-491:66 'Nat
1691testdata/Builtins.lc 492:137-492:145 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1674testdata/Builtins.lc 491:35-491:66 V1
1692testdata/Builtins.lc 492:147-492:154 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1675testdata/Builtins.lc 491:51-491:55 Type
1693testdata/Builtins.lc 492:156-492:163 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1676testdata/Builtins.lc 491:1-491:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Bool} -> a->a
1694testdata/Builtins.lc 492:165-492:173 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1677testdata/Builtins.lc 492:34-492:58 Type
1695testdata/Builtins.lc 492:175-492:183 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1678testdata/Builtins.lc 492:34-492:43 'Nat -> Type->Type
1696testdata/Builtins.lc 492:185-492:193 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1679testdata/Builtins.lc 492:34-492:58 'Nat
1697testdata/Builtins.lc 492:195-492:206 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1680testdata/Builtins.lc 492:34-492:58 V1
1698testdata/Builtins.lc 494:35-494:72 Type 1681testdata/Builtins.lc 492:46-492:50 Type
1699testdata/Builtins.lc 494:35-494:72 V3 1682testdata/Builtins.lc 492:54-492:58 Type
1700testdata/Builtins.lc 494:39-494:48 'Nat -> Type->Type 1683testdata/Builtins.lc 492:1-492:8 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
1701testdata/Builtins.lc 494:35-494:72 'Nat 1684testdata/Builtins.lc 492:10-492:17 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
1702testdata/Builtins.lc 494:35-494:72 V1 1685testdata/Builtins.lc 496:35-496:67 Type
1703testdata/Builtins.lc 494:51-494:56 Type 1686testdata/Builtins.lc 496:35-496:67 V3
1704testdata/Builtins.lc 494:1-494:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 1687testdata/Builtins.lc 496:39-496:48 'Nat -> Type->Type
1705testdata/Builtins.lc 494:10-494:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 1688testdata/Builtins.lc 496:35-496:67 'Nat
1706testdata/Builtins.lc 497:35-497:67 Type 1689testdata/Builtins.lc 496:35-496:67 V1
1707testdata/Builtins.lc 497:35-497:67 V3 1690testdata/Builtins.lc 496:51-496:56 Type
1691testdata/Builtins.lc 495:1-495:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1692testdata/Builtins.lc 495:11-495:20 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1693testdata/Builtins.lc 495:22-495:30 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1694testdata/Builtins.lc 495:32-495:41 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1695testdata/Builtins.lc 495:43-495:51 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1696testdata/Builtins.lc 495:53-495:62 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1697testdata/Builtins.lc 495:64-495:71 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1698testdata/Builtins.lc 495:73-495:81 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1699testdata/Builtins.lc 495:83-495:94 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1700testdata/Builtins.lc 495:96-495:107 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1701testdata/Builtins.lc 495:109-495:116 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1702testdata/Builtins.lc 495:118-495:126 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1703testdata/Builtins.lc 495:128-495:135 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1704testdata/Builtins.lc 495:137-495:145 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1705testdata/Builtins.lc 495:147-495:154 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1706testdata/Builtins.lc 495:156-495:163 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1707testdata/Builtins.lc 495:165-495:173 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1708testdata/Builtins.lc 495:175-495:183 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1709testdata/Builtins.lc 495:185-495:193 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1710testdata/Builtins.lc 495:195-495:206 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1711testdata/Builtins.lc 497:35-497:72 Type
1712testdata/Builtins.lc 497:35-497:72 V3
1708testdata/Builtins.lc 497:39-497:48 'Nat -> Type->Type 1713testdata/Builtins.lc 497:39-497:48 'Nat -> Type->Type
1709testdata/Builtins.lc 497:35-497:67 'Nat 1714testdata/Builtins.lc 497:35-497:72 'Nat
1710testdata/Builtins.lc 497:35-497:67 V1 1715testdata/Builtins.lc 497:35-497:72 V1
1711testdata/Builtins.lc 497:51-497:56 Type 1716testdata/Builtins.lc 497:51-497:56 Type
1712testdata/Builtins.lc 496:1-496:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1717testdata/Builtins.lc 497:1-497:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1713testdata/Builtins.lc 496:12-496:21 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1718testdata/Builtins.lc 497:10-497:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1714testdata/Builtins.lc 496:23-496:32 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1719testdata/Builtins.lc 500:35-500:67 Type
1715testdata/Builtins.lc 496:34-496:47 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1720testdata/Builtins.lc 500:35-500:67 V3
1716testdata/Builtins.lc 496:49-496:57 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1717testdata/Builtins.lc 496:59-496:68 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1718testdata/Builtins.lc 498:35-498:75 Type
1719testdata/Builtins.lc 498:35-498:38 Type->Type
1720testdata/Builtins.lc 498:35-498:75 V5
1721testdata/Builtins.lc 498:35-498:75 V4
1722testdata/Builtins.lc 498:46-498:55 'Nat -> Type->Type
1723testdata/Builtins.lc 498:35-498:75 'Nat
1724testdata/Builtins.lc 498:35-498:75 V2
1725testdata/Builtins.lc 498:1-498:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1726testdata/Builtins.lc 498:10-498:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1727testdata/Builtins.lc 499:35-499:75 Type
1728testdata/Builtins.lc 499:35-499:38 Type->Type
1729testdata/Builtins.lc 499:35-499:75 V5
1730testdata/Builtins.lc 499:35-499:75 V4
1731testdata/Builtins.lc 499:46-499:55 'Nat -> Type->Type
1732testdata/Builtins.lc 499:35-499:75 'Nat
1733testdata/Builtins.lc 499:35-499:75 V2
1734testdata/Builtins.lc 499:1-499:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1735testdata/Builtins.lc 499:11-499:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1736testdata/Builtins.lc 500:35-500:89 Type
1737testdata/Builtins.lc 500:35-500:89 V5
1738testdata/Builtins.lc 500:39-500:48 'Nat -> Type->Type 1721testdata/Builtins.lc 500:39-500:48 'Nat -> Type->Type
1739testdata/Builtins.lc 500:35-500:89 'Nat 1722testdata/Builtins.lc 500:35-500:67 'Nat
1740testdata/Builtins.lc 500:35-500:89 V3 1723testdata/Builtins.lc 500:35-500:67 V1
1741testdata/Builtins.lc 500:51-500:56 Type 1724testdata/Builtins.lc 500:51-500:56 Type
1742testdata/Builtins.lc 500:35-500:89 V2 1725testdata/Builtins.lc 499:1-499:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1743testdata/Builtins.lc 500:62-500:71 'Nat -> Type->Type 1726testdata/Builtins.lc 499:12-499:21 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1744testdata/Builtins.lc 500:74-500:78 Type 1727testdata/Builtins.lc 499:23-499:32 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1745testdata/Builtins.lc 500:1-500:10 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c 1728testdata/Builtins.lc 499:34-499:47 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1746testdata/Builtins.lc 500:12-500:21 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c 1729testdata/Builtins.lc 499:49-499:57 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1747testdata/Builtins.lc 501:35-501:73 Type 1730testdata/Builtins.lc 499:59-499:68 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1748testdata/Builtins.lc 501:35-501:41 Type->Type 1731testdata/Builtins.lc 501:35-501:75 Type
1749testdata/Builtins.lc 501:35-501:73 V5 1732testdata/Builtins.lc 501:35-501:38 Type->Type
1750testdata/Builtins.lc 501:35-501:73 V4 1733testdata/Builtins.lc 501:35-501:75 V5
1751testdata/Builtins.lc 501:49-501:58 'Nat -> Type->Type 1734testdata/Builtins.lc 501:35-501:75 V4
1752testdata/Builtins.lc 501:35-501:73 'Nat 1735testdata/Builtins.lc 501:46-501:55 'Nat -> Type->Type
1753testdata/Builtins.lc 501:35-501:73 V2 1736testdata/Builtins.lc 501:35-501:75 'Nat
1754testdata/Builtins.lc 501:1-501:8 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b 1737testdata/Builtins.lc 501:35-501:75 V2
1755testdata/Builtins.lc 501:10-501:18 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b 1738testdata/Builtins.lc 501:1-501:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1756testdata/Builtins.lc 502:35-502:72 Type 1739testdata/Builtins.lc 501:10-501:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1757testdata/Builtins.lc 502:35-502:72 V3 1740testdata/Builtins.lc 502:35-502:75 Type
1758testdata/Builtins.lc 502:39-502:48 'Nat -> Type->Type 1741testdata/Builtins.lc 502:35-502:38 Type->Type
1759testdata/Builtins.lc 502:35-502:72 'Nat 1742testdata/Builtins.lc 502:35-502:75 V5
1760testdata/Builtins.lc 502:35-502:72 V1 1743testdata/Builtins.lc 502:35-502:75 V4
1761testdata/Builtins.lc 502:51-502:56 Type 1744testdata/Builtins.lc 502:46-502:55 'Nat -> Type->Type
1762testdata/Builtins.lc 502:66-502:72 Type -> Type->Type 1745testdata/Builtins.lc 502:35-502:75 'Nat
1763testdata/Builtins.lc 502:1-502:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> 'Tuple2 a a 1746testdata/Builtins.lc 502:35-502:75 V2
1764testdata/Builtins.lc 503:35-503:80 Type 1747testdata/Builtins.lc 502:1-502:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1765testdata/Builtins.lc 503:35-503:38 Type->Type 1748testdata/Builtins.lc 502:11-502:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1766testdata/Builtins.lc 503:35-503:80 V5 1749testdata/Builtins.lc 503:35-503:89 Type
1767testdata/Builtins.lc 503:35-503:80 V4 1750testdata/Builtins.lc 503:35-503:89 V5
1768testdata/Builtins.lc 503:46-503:55 'Nat -> Type->Type 1751testdata/Builtins.lc 503:39-503:48 'Nat -> Type->Type
1769testdata/Builtins.lc 503:35-503:80 'Nat 1752testdata/Builtins.lc 503:35-503:89 'Nat
1770testdata/Builtins.lc 503:35-503:80 V2 1753testdata/Builtins.lc 503:35-503:89 V3
1771testdata/Builtins.lc 503:1-503:10 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b 1754testdata/Builtins.lc 503:51-503:56 Type
1772testdata/Builtins.lc 504:35-504:80 Type 1755testdata/Builtins.lc 503:35-503:89 V2
1773testdata/Builtins.lc 504:35-504:38 Type->Type 1756testdata/Builtins.lc 503:62-503:71 'Nat -> Type->Type
1774testdata/Builtins.lc 504:35-504:80 V5 1757testdata/Builtins.lc 503:74-503:78 Type
1775testdata/Builtins.lc 504:35-504:80 V4 1758testdata/Builtins.lc 503:1-503:10 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
1776testdata/Builtins.lc 504:46-504:55 'Nat -> Type->Type 1759testdata/Builtins.lc 503:12-503:21 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
1777testdata/Builtins.lc 504:35-504:80 'Nat 1760testdata/Builtins.lc 504:35-504:73 Type
1778testdata/Builtins.lc 504:35-504:80 V2 1761testdata/Builtins.lc 504:35-504:41 Type->Type
1779testdata/Builtins.lc 504:1-504:11 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b 1762testdata/Builtins.lc 504:35-504:73 V5
1780testdata/Builtins.lc 505:35-505:77 Type 1763testdata/Builtins.lc 504:35-504:73 V4
1781testdata/Builtins.lc 505:35-505:77 V3 1764testdata/Builtins.lc 504:49-504:58 'Nat -> Type->Type
1765testdata/Builtins.lc 504:35-504:73 'Nat
1766testdata/Builtins.lc 504:35-504:73 V2
1767testdata/Builtins.lc 504:1-504:8 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
1768testdata/Builtins.lc 504:10-504:18 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
1769testdata/Builtins.lc 505:35-505:72 Type
1770testdata/Builtins.lc 505:35-505:72 V3
1782testdata/Builtins.lc 505:39-505:48 'Nat -> Type->Type 1771testdata/Builtins.lc 505:39-505:48 'Nat -> Type->Type
1783testdata/Builtins.lc 505:35-505:77 'Nat 1772testdata/Builtins.lc 505:35-505:72 'Nat
1784testdata/Builtins.lc 505:35-505:77 V1 1773testdata/Builtins.lc 505:35-505:72 V1
1785testdata/Builtins.lc 505:51-505:56 Type 1774testdata/Builtins.lc 505:51-505:56 Type
1786testdata/Builtins.lc 505:1-505:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 1775testdata/Builtins.lc 505:66-505:72 Type -> Type->Type
1787testdata/Builtins.lc 506:35-506:81 Type 1776testdata/Builtins.lc 505:1-505:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> 'Tuple2 a a
1788testdata/Builtins.lc 506:35-506:81 V3 1777testdata/Builtins.lc 506:35-506:80 Type
1789testdata/Builtins.lc 506:39-506:48 'Nat -> Type->Type 1778testdata/Builtins.lc 506:35-506:38 Type->Type
1790testdata/Builtins.lc 506:35-506:81 'Nat 1779testdata/Builtins.lc 506:35-506:80 V5
1791testdata/Builtins.lc 506:35-506:81 V1 1780testdata/Builtins.lc 506:35-506:80 V4
1792testdata/Builtins.lc 506:51-506:56 Type 1781testdata/Builtins.lc 506:46-506:55 'Nat -> Type->Type
1793testdata/Builtins.lc 506:71-506:76 Type 1782testdata/Builtins.lc 506:35-506:80 'Nat
1794testdata/Builtins.lc 506:1-506:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a 1783testdata/Builtins.lc 506:35-506:80 V2
1795testdata/Builtins.lc 507:35-507:99 Type 1784testdata/Builtins.lc 506:1-506:10 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b
1796testdata/Builtins.lc 507:35-507:99 V5 1785testdata/Builtins.lc 507:35-507:80 Type
1797testdata/Builtins.lc 507:39-507:48 'Nat -> Type->Type 1786testdata/Builtins.lc 507:35-507:38 Type->Type
1798testdata/Builtins.lc 507:35-507:99 'Nat 1787testdata/Builtins.lc 507:35-507:80 V5
1799testdata/Builtins.lc 507:35-507:99 V3 1788testdata/Builtins.lc 507:35-507:80 V4
1800testdata/Builtins.lc 507:51-507:56 Type 1789testdata/Builtins.lc 507:46-507:55 'Nat -> Type->Type
1801testdata/Builtins.lc 507:35-507:99 V2 1790testdata/Builtins.lc 507:35-507:80 'Nat
1802testdata/Builtins.lc 507:62-507:71 'Nat -> Type->Type 1791testdata/Builtins.lc 507:35-507:80 V2
1803testdata/Builtins.lc 507:74-507:78 Type 1792testdata/Builtins.lc 507:1-507:11 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b
1804testdata/Builtins.lc 507:1-507:9 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a 1793testdata/Builtins.lc 508:35-508:77 Type
1805testdata/Builtins.lc 508:35-508:68 Type 1794testdata/Builtins.lc 508:35-508:77 V3
1806testdata/Builtins.lc 508:35-508:68 V3 1795testdata/Builtins.lc 508:39-508:48 'Nat -> Type->Type
1807testdata/Builtins.lc 508:39-508:44 'Nat -> Type->Type 1796testdata/Builtins.lc 508:35-508:77 'Nat
1808testdata/Builtins.lc 508:35-508:68 'Nat 1797testdata/Builtins.lc 508:35-508:77 V1
1809testdata/Builtins.lc 508:35-508:68 V1 1798testdata/Builtins.lc 508:51-508:56 Type
1810testdata/Builtins.lc 508:47-508:52 Type 1799testdata/Builtins.lc 508:1-508:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1811testdata/Builtins.lc 508:1-508:9 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a 1800testdata/Builtins.lc 509:35-509:81 Type
1812testdata/Builtins.lc 509:35-509:76 Type 1801testdata/Builtins.lc 509:35-509:81 V3
1813testdata/Builtins.lc 509:35-509:76 V3
1814testdata/Builtins.lc 509:39-509:48 'Nat -> Type->Type 1802testdata/Builtins.lc 509:39-509:48 'Nat -> Type->Type
1815testdata/Builtins.lc 509:35-509:76 'Nat 1803testdata/Builtins.lc 509:35-509:81 'Nat
1816testdata/Builtins.lc 509:35-509:76 V1 1804testdata/Builtins.lc 509:35-509:81 V1
1817testdata/Builtins.lc 509:51-509:56 Type 1805testdata/Builtins.lc 509:51-509:56 Type
1818testdata/Builtins.lc 509:61-509:66 Type 1806testdata/Builtins.lc 509:71-509:76 Type
1819testdata/Builtins.lc 509:1-509:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> a->a 1807testdata/Builtins.lc 509:1-509:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a
1820testdata/Builtins.lc 510:35-510:73 Type 1808testdata/Builtins.lc 510:35-510:99 Type
1821testdata/Builtins.lc 510:35-510:73 V3 1809testdata/Builtins.lc 510:35-510:99 V5
1822testdata/Builtins.lc 510:39-510:44 'Nat -> Type->Type 1810testdata/Builtins.lc 510:39-510:48 'Nat -> Type->Type
1823testdata/Builtins.lc 510:35-510:73 'Nat 1811testdata/Builtins.lc 510:35-510:99 'Nat
1824testdata/Builtins.lc 510:35-510:73 V1 1812testdata/Builtins.lc 510:35-510:99 V3
1825testdata/Builtins.lc 510:47-510:52 Type 1813testdata/Builtins.lc 510:51-510:56 Type
1826testdata/Builtins.lc 510:1-510:15 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a 1814testdata/Builtins.lc 510:35-510:99 V2
1827testdata/Builtins.lc 511:35-511:85 Type 1815testdata/Builtins.lc 510:62-510:71 'Nat -> Type->Type
1828testdata/Builtins.lc 511:35-511:85 V3 1816testdata/Builtins.lc 510:74-510:78 Type
1829testdata/Builtins.lc 511:39-511:48 'Nat -> Type->Type 1817testdata/Builtins.lc 510:1-510:9 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a
1830testdata/Builtins.lc 511:35-511:85 'Nat 1818testdata/Builtins.lc 511:35-511:68 Type
1831testdata/Builtins.lc 511:35-511:85 V1 1819testdata/Builtins.lc 511:35-511:68 V3
1832testdata/Builtins.lc 511:51-511:56 Type 1820testdata/Builtins.lc 511:39-511:44 'Nat -> Type->Type
1833testdata/Builtins.lc 511:61-511:66 Type 1821testdata/Builtins.lc 511:35-511:68 'Nat
1834testdata/Builtins.lc 511:70-511:75 Type 1822testdata/Builtins.lc 511:35-511:68 V1
1835testdata/Builtins.lc 511:1-511:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a 1823testdata/Builtins.lc 511:47-511:52 Type
1836testdata/Builtins.lc 514:34-514:70 Type 1824testdata/Builtins.lc 511:1-511:9 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a
1837testdata/Builtins.lc 514:34-514:43 'Nat -> Type->Type 1825testdata/Builtins.lc 512:35-512:76 Type
1838testdata/Builtins.lc 514:34-514:70 'Nat 1826testdata/Builtins.lc 512:35-512:76 V3
1839testdata/Builtins.lc 514:34-514:70 V1 1827testdata/Builtins.lc 512:39-512:48 'Nat -> Type->Type
1840testdata/Builtins.lc 514:46-514:51 Type 1828testdata/Builtins.lc 512:35-512:76 'Nat
1841testdata/Builtins.lc 514:55-514:64 'Nat -> Type->Type 1829testdata/Builtins.lc 512:35-512:76 V1
1842testdata/Builtins.lc 514:67-514:70 Type 1830testdata/Builtins.lc 512:51-512:56 Type
1843testdata/Builtins.lc 514:1-514:19 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int 1831testdata/Builtins.lc 512:61-512:66 Type
1844testdata/Builtins.lc 515:34-515:71 Type 1832testdata/Builtins.lc 512:1-512:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> a->a
1845testdata/Builtins.lc 515:34-515:43 'Nat -> Type->Type 1833testdata/Builtins.lc 513:35-513:73 Type
1846testdata/Builtins.lc 515:34-515:71 'Nat 1834testdata/Builtins.lc 513:35-513:73 V3
1847testdata/Builtins.lc 515:34-515:71 V1 1835testdata/Builtins.lc 513:39-513:44 'Nat -> Type->Type
1848testdata/Builtins.lc 515:46-515:51 Type 1836testdata/Builtins.lc 513:35-513:73 'Nat
1849testdata/Builtins.lc 515:55-515:64 'Nat -> Type->Type 1837testdata/Builtins.lc 513:35-513:73 V1
1850testdata/Builtins.lc 515:67-515:71 Type 1838testdata/Builtins.lc 513:47-513:52 Type
1851testdata/Builtins.lc 515:1-515:20 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word 1839testdata/Builtins.lc 513:1-513:15 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a
1852testdata/Builtins.lc 516:34-516:72 Type 1840testdata/Builtins.lc 514:35-514:85 Type
1853testdata/Builtins.lc 516:34-516:43 'Nat -> Type->Type 1841testdata/Builtins.lc 514:35-514:85 V3
1854testdata/Builtins.lc 516:34-516:72 'Nat 1842testdata/Builtins.lc 514:39-514:48 'Nat -> Type->Type
1855testdata/Builtins.lc 516:34-516:72 V1 1843testdata/Builtins.lc 514:35-514:85 'Nat
1856testdata/Builtins.lc 516:46-516:49 Type 1844testdata/Builtins.lc 514:35-514:85 V1
1857testdata/Builtins.lc 516:55-516:64 'Nat -> Type->Type 1845testdata/Builtins.lc 514:51-514:56 Type
1858testdata/Builtins.lc 516:67-516:72 Type 1846testdata/Builtins.lc 514:61-514:66 Type
1859testdata/Builtins.lc 516:1-516:19 {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float 1847testdata/Builtins.lc 514:70-514:75 Type
1860testdata/Builtins.lc 517:34-517:72 Type 1848testdata/Builtins.lc 514:1-514:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a
1849testdata/Builtins.lc 517:34-517:70 Type
1861testdata/Builtins.lc 517:34-517:43 'Nat -> Type->Type 1850testdata/Builtins.lc 517:34-517:43 'Nat -> Type->Type
1862testdata/Builtins.lc 517:34-517:72 'Nat 1851testdata/Builtins.lc 517:34-517:70 'Nat
1863testdata/Builtins.lc 517:34-517:72 V1 1852testdata/Builtins.lc 517:34-517:70 V1
1864testdata/Builtins.lc 517:46-517:50 Type 1853testdata/Builtins.lc 517:46-517:51 Type
1865testdata/Builtins.lc 517:55-517:64 'Nat -> Type->Type 1854testdata/Builtins.lc 517:55-517:64 'Nat -> Type->Type
1866testdata/Builtins.lc 517:67-517:72 Type 1855testdata/Builtins.lc 517:67-517:70 Type
1867testdata/Builtins.lc 517:1-517:20 {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float 1856testdata/Builtins.lc 517:1-517:19 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int
1868testdata/Builtins.lc 519:35-519:71 Type 1857testdata/Builtins.lc 518:34-518:71 Type
1869testdata/Builtins.lc 519:35-519:71 V3 1858testdata/Builtins.lc 518:34-518:43 'Nat -> Type->Type
1870testdata/Builtins.lc 519:39-519:48 'Nat -> Type->Type 1859testdata/Builtins.lc 518:34-518:71 'Nat
1871testdata/Builtins.lc 519:35-519:71 'Nat 1860testdata/Builtins.lc 518:34-518:71 V1
1872testdata/Builtins.lc 519:35-519:71 V1 1861testdata/Builtins.lc 518:46-518:51 Type
1873testdata/Builtins.lc 519:51-519:56 Type 1862testdata/Builtins.lc 518:55-518:64 'Nat -> Type->Type
1874testdata/Builtins.lc 519:66-519:71 Type 1863testdata/Builtins.lc 518:67-518:71 Type
1875testdata/Builtins.lc 519:1-519:11 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float 1864testdata/Builtins.lc 518:1-518:20 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word
1876testdata/Builtins.lc 520:35-520:76 Type 1865testdata/Builtins.lc 519:34-519:72 Type
1877testdata/Builtins.lc 520:35-520:76 V3 1866testdata/Builtins.lc 519:34-519:43 'Nat -> Type->Type
1878testdata/Builtins.lc 520:39-520:48 'Nat -> Type->Type 1867testdata/Builtins.lc 519:34-519:72 'Nat
1879testdata/Builtins.lc 520:35-520:76 'Nat 1868testdata/Builtins.lc 519:34-519:72 V1
1880testdata/Builtins.lc 520:35-520:76 V1 1869testdata/Builtins.lc 519:46-519:49 Type
1881testdata/Builtins.lc 520:51-520:56 Type 1870testdata/Builtins.lc 519:55-519:64 'Nat -> Type->Type
1882testdata/Builtins.lc 520:71-520:76 Type 1871testdata/Builtins.lc 519:67-519:72 Type
1883testdata/Builtins.lc 520:1-520:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float 1872testdata/Builtins.lc 519:1-519:19 {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float
1884testdata/Builtins.lc 520:15-520:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float 1873testdata/Builtins.lc 520:34-520:72 Type
1885testdata/Builtins.lc 521:35-521:72 Type 1874testdata/Builtins.lc 520:34-520:43 'Nat -> Type->Type
1886testdata/Builtins.lc 521:35-521:72 V1 1875testdata/Builtins.lc 520:34-520:72 'Nat
1887testdata/Builtins.lc 521:39-521:56 Type 1876testdata/Builtins.lc 520:34-520:72 V1
1888testdata/Builtins.lc 521:39-521:48 'Nat -> Type->Type 1877testdata/Builtins.lc 520:46-520:50 Type
1889testdata/Builtins.lc 521:51-521:56 Type 1878testdata/Builtins.lc 520:55-520:64 'Nat -> Type->Type
1890testdata/Builtins.lc 521:1-521:10 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a 1879testdata/Builtins.lc 520:67-520:72 Type
1891testdata/Builtins.lc 522:35-522:67 Type 1880testdata/Builtins.lc 520:1-520:20 {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float
1892testdata/Builtins.lc 522:35-522:67 V3 1881testdata/Builtins.lc 522:35-522:71 Type
1882testdata/Builtins.lc 522:35-522:71 V3
1893testdata/Builtins.lc 522:39-522:48 'Nat -> Type->Type 1883testdata/Builtins.lc 522:39-522:48 'Nat -> Type->Type
1894testdata/Builtins.lc 522:35-522:67 'Nat 1884testdata/Builtins.lc 522:35-522:71 'Nat
1895testdata/Builtins.lc 522:35-522:67 V1 1885testdata/Builtins.lc 522:35-522:71 V1
1896testdata/Builtins.lc 522:51-522:56 Type 1886testdata/Builtins.lc 522:51-522:56 Type
1897testdata/Builtins.lc 522:1-522:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1887testdata/Builtins.lc 522:66-522:71 Type
1898testdata/Builtins.lc 523:35-523:77 Type 1888testdata/Builtins.lc 522:1-522:11 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float
1899testdata/Builtins.lc 523:35-523:77 V3 1889testdata/Builtins.lc 523:35-523:76 Type
1890testdata/Builtins.lc 523:35-523:76 V3
1900testdata/Builtins.lc 523:39-523:48 'Nat -> Type->Type 1891testdata/Builtins.lc 523:39-523:48 'Nat -> Type->Type
1901testdata/Builtins.lc 523:35-523:77 'Nat 1892testdata/Builtins.lc 523:35-523:76 'Nat
1902testdata/Builtins.lc 523:35-523:77 V1 1893testdata/Builtins.lc 523:35-523:76 V1
1903testdata/Builtins.lc 523:51-523:56 Type 1894testdata/Builtins.lc 523:51-523:56 Type
1904testdata/Builtins.lc 523:1-523:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 1895testdata/Builtins.lc 523:71-523:76 Type
1905testdata/Builtins.lc 523:18-523:29 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 1896testdata/Builtins.lc 523:1-523:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
1897testdata/Builtins.lc 523:15-523:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
1906testdata/Builtins.lc 524:35-524:72 Type 1898testdata/Builtins.lc 524:35-524:72 Type
1907testdata/Builtins.lc 524:35-524:72 V3
1908testdata/Builtins.lc 524:39-524:48 'Nat -> Type->Type
1909testdata/Builtins.lc 524:35-524:72 'Nat
1910testdata/Builtins.lc 524:35-524:72 V1 1899testdata/Builtins.lc 524:35-524:72 V1
1900testdata/Builtins.lc 524:39-524:56 Type
1901testdata/Builtins.lc 524:39-524:48 'Nat -> Type->Type
1911testdata/Builtins.lc 524:51-524:56 Type 1902testdata/Builtins.lc 524:51-524:56 Type
1912testdata/Builtins.lc 524:1-524:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 1903testdata/Builtins.lc 524:1-524:10 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a
1913testdata/Builtins.lc 526:34-526:56 Type 1904testdata/Builtins.lc 525:35-525:67 Type
1914testdata/Builtins.lc 526:34-526:37 'Nat -> 'Nat -> Type->Type 1905testdata/Builtins.lc 525:35-525:67 V3
1915testdata/Builtins.lc 526:34-526:56 'Nat 1906testdata/Builtins.lc 525:39-525:48 'Nat -> Type->Type
1916testdata/Builtins.lc 526:34-526:56 V5 1907testdata/Builtins.lc 525:35-525:67 'Nat
1917testdata/Builtins.lc 526:34-526:56 V3 1908testdata/Builtins.lc 525:35-525:67 V1
1918testdata/Builtins.lc 526:34-526:56 V1 1909testdata/Builtins.lc 525:51-525:56 Type
1919testdata/Builtins.lc 526:47-526:50 'Nat -> 'Nat -> Type->Type 1910testdata/Builtins.lc 525:1-525:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1920testdata/Builtins.lc 526:1-526:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c 1911testdata/Builtins.lc 526:35-526:77 Type
1921testdata/Builtins.lc 527:34-527:52 Type 1912testdata/Builtins.lc 526:35-526:77 V3
1922testdata/Builtins.lc 527:34-527:37 'Nat -> 'Nat -> Type->Type 1913testdata/Builtins.lc 526:39-526:48 'Nat -> Type->Type
1923testdata/Builtins.lc 527:34-527:52 'Nat 1914testdata/Builtins.lc 526:35-526:77 'Nat
1924testdata/Builtins.lc 527:34-527:52 V3 1915testdata/Builtins.lc 526:35-526:77 V1
1925testdata/Builtins.lc 527:34-527:52 V1 1916testdata/Builtins.lc 526:51-526:56 Type
1926testdata/Builtins.lc 527:47-527:52 Type 1917testdata/Builtins.lc 526:1-526:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1927testdata/Builtins.lc 527:1-527:16 {a:'Nat} -> {b} -> 'Mat a a b -> 'Float 1918testdata/Builtins.lc 526:18-526:29 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1928testdata/Builtins.lc 528:34-528:56 Type 1919testdata/Builtins.lc 527:35-527:72 Type
1929testdata/Builtins.lc 528:34-528:37 'Nat -> 'Nat -> Type->Type 1920testdata/Builtins.lc 527:35-527:72 V3
1930testdata/Builtins.lc 528:34-528:56 'Nat 1921testdata/Builtins.lc 527:39-527:48 'Nat -> Type->Type
1931testdata/Builtins.lc 528:34-528:56 V3 1922testdata/Builtins.lc 527:35-527:72 'Nat
1932testdata/Builtins.lc 528:34-528:56 V1 1923testdata/Builtins.lc 527:35-527:72 V1
1933testdata/Builtins.lc 528:47-528:50 'Nat -> 'Nat -> Type->Type 1924testdata/Builtins.lc 527:51-527:56 Type
1934testdata/Builtins.lc 528:1-528:12 {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b 1925testdata/Builtins.lc 527:1-527:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1935testdata/Builtins.lc 529:34-529:69 Type 1926testdata/Builtins.lc 529:34-529:56 Type
1936testdata/Builtins.lc 529:34-529:37 'Nat -> Type->Type 1927testdata/Builtins.lc 529:34-529:37 'Nat -> 'Nat -> Type->Type
1937testdata/Builtins.lc 529:34-529:69 'Nat 1928testdata/Builtins.lc 529:34-529:56 'Nat
1938testdata/Builtins.lc 529:34-529:69 V5 1929testdata/Builtins.lc 529:34-529:56 V5
1939testdata/Builtins.lc 529:34-529:69 V3 1930testdata/Builtins.lc 529:34-529:56 V3
1940testdata/Builtins.lc 529:47-529:50 'Nat -> Type->Type 1931testdata/Builtins.lc 529:34-529:56 V1
1941testdata/Builtins.lc 529:34-529:69 V2 1932testdata/Builtins.lc 529:47-529:50 'Nat -> 'Nat -> Type->Type
1942testdata/Builtins.lc 529:60-529:63 'Nat -> 'Nat -> Type->Type 1933testdata/Builtins.lc 529:1-529:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c
1943testdata/Builtins.lc 529:1-529:17 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'VecS b c -> 'Mat c a b 1934testdata/Builtins.lc 530:34-530:52 Type
1944testdata/Builtins.lc 530:34-530:67 Type
1945testdata/Builtins.lc 530:34-530:37 'Nat -> 'Nat -> Type->Type 1935testdata/Builtins.lc 530:34-530:37 'Nat -> 'Nat -> Type->Type
1946testdata/Builtins.lc 530:34-530:67 'Nat 1936testdata/Builtins.lc 530:34-530:52 'Nat
1947testdata/Builtins.lc 530:34-530:67 V5 1937testdata/Builtins.lc 530:34-530:52 V3
1948testdata/Builtins.lc 530:34-530:67 V3 1938testdata/Builtins.lc 530:34-530:52 V1
1949testdata/Builtins.lc 530:34-530:67 V1 1939testdata/Builtins.lc 530:47-530:52 Type
1950testdata/Builtins.lc 530:47-530:50 'Nat -> Type->Type 1940testdata/Builtins.lc 530:1-530:16 {a:'Nat} -> {b} -> 'Mat a a b -> 'Float
1951testdata/Builtins.lc 530:60-530:63 'Nat -> Type->Type 1941testdata/Builtins.lc 531:34-531:56 Type
1952testdata/Builtins.lc 530:1-530:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'VecS c b -> 'VecS c a 1942testdata/Builtins.lc 531:34-531:37 'Nat -> 'Nat -> Type->Type
1953testdata/Builtins.lc 531:34-531:67 Type 1943testdata/Builtins.lc 531:34-531:56 'Nat
1954testdata/Builtins.lc 531:34-531:37 'Nat -> Type->Type 1944testdata/Builtins.lc 531:34-531:56 V3
1955testdata/Builtins.lc 531:34-531:67 'Nat 1945testdata/Builtins.lc 531:34-531:56 V1
1956testdata/Builtins.lc 531:34-531:67 V5
1957testdata/Builtins.lc 531:34-531:67 V3
1958testdata/Builtins.lc 531:47-531:50 'Nat -> 'Nat -> Type->Type 1946testdata/Builtins.lc 531:47-531:50 'Nat -> 'Nat -> Type->Type
1959testdata/Builtins.lc 531:34-531:67 V2 1947testdata/Builtins.lc 531:1-531:12 {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b
1960testdata/Builtins.lc 531:60-531:63 'Nat -> Type->Type
1961testdata/Builtins.lc 531:1-531:14 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'Mat a c b -> 'VecS b c
1962testdata/Builtins.lc 532:34-532:69 Type 1948testdata/Builtins.lc 532:34-532:69 Type
1963testdata/Builtins.lc 532:34-532:37 'Nat -> 'Nat -> Type->Type 1949testdata/Builtins.lc 532:34-532:37 'Nat -> Type->Type
1964testdata/Builtins.lc 532:34-532:69 'Nat 1950testdata/Builtins.lc 532:34-532:69 'Nat
1965testdata/Builtins.lc 532:34-532:69 V7
1966testdata/Builtins.lc 532:34-532:69 V5 1951testdata/Builtins.lc 532:34-532:69 V5
1967testdata/Builtins.lc 532:34-532:69 V3 1952testdata/Builtins.lc 532:34-532:69 V3
1968testdata/Builtins.lc 532:47-532:50 'Nat -> 'Nat -> Type->Type 1953testdata/Builtins.lc 532:47-532:50 'Nat -> Type->Type
1969testdata/Builtins.lc 532:34-532:69 V2 1954testdata/Builtins.lc 532:34-532:69 V2
1970testdata/Builtins.lc 532:60-532:63 'Nat -> 'Nat -> Type->Type 1955testdata/Builtins.lc 532:60-532:63 'Nat -> 'Nat -> Type->Type
1971testdata/Builtins.lc 532:1-532:14 {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c 1956testdata/Builtins.lc 532:1-532:17 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'VecS b c -> 'Mat c a b
1972testdata/Builtins.lc 535:35-535:97 Type 1957testdata/Builtins.lc 533:34-533:67 Type
1973testdata/Builtins.lc 535:35-535:38 Type->Type 1958testdata/Builtins.lc 533:34-533:37 'Nat -> 'Nat -> Type->Type
1974testdata/Builtins.lc 535:35-535:97 V7 1959testdata/Builtins.lc 533:34-533:67 'Nat
1975testdata/Builtins.lc 535:35-535:97 V6 1960testdata/Builtins.lc 533:34-533:67 V5
1976testdata/Builtins.lc 535:46-535:55 'Nat -> Type->Type 1961testdata/Builtins.lc 533:34-533:67 V3
1977testdata/Builtins.lc 535:35-535:97 'Nat 1962testdata/Builtins.lc 533:34-533:67 V1
1978testdata/Builtins.lc 535:35-535:97 V4 1963testdata/Builtins.lc 533:47-533:50 'Nat -> Type->Type
1979testdata/Builtins.lc 535:35-535:97 V3 1964testdata/Builtins.lc 533:60-533:63 'Nat -> Type->Type
1980testdata/Builtins.lc 535:65-535:74 'Nat -> Type->Type 1965testdata/Builtins.lc 533:1-533:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'VecS c b -> 'VecS c a
1981testdata/Builtins.lc 535:77-535:81 Type 1966testdata/Builtins.lc 534:34-534:67 Type
1982testdata/Builtins.lc 534:1-534:13 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1967testdata/Builtins.lc 534:34-534:37 'Nat -> Type->Type
1983testdata/Builtins.lc 534:15-534:32 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1968testdata/Builtins.lc 534:34-534:67 'Nat
1984testdata/Builtins.lc 534:34-534:49 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1969testdata/Builtins.lc 534:34-534:67 V5
1985testdata/Builtins.lc 534:51-534:71 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1970testdata/Builtins.lc 534:34-534:67 V3
1986testdata/Builtins.lc 534:73-534:83 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1971testdata/Builtins.lc 534:47-534:50 'Nat -> 'Nat -> Type->Type
1987testdata/Builtins.lc 534:85-534:98 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 1972testdata/Builtins.lc 534:34-534:67 V2
1988testdata/Builtins.lc 536:35-536:76 Type 1973testdata/Builtins.lc 534:60-534:63 'Nat -> Type->Type
1989testdata/Builtins.lc 536:35-536:76 V3 1974testdata/Builtins.lc 534:1-534:14 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'Mat a c b -> 'VecS b c
1990testdata/Builtins.lc 536:39-536:55 Type->Type 1975testdata/Builtins.lc 535:34-535:69 Type
1991testdata/Builtins.lc 536:35-536:76 V1 1976testdata/Builtins.lc 535:34-535:37 'Nat -> 'Nat -> Type->Type
1992testdata/Builtins.lc 536:72-536:76 Type 1977testdata/Builtins.lc 535:34-535:69 'Nat
1993testdata/Builtins.lc 536:1-536:10 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool 1978testdata/Builtins.lc 535:34-535:69 V7
1994testdata/Builtins.lc 536:12-536:24 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool 1979testdata/Builtins.lc 535:34-535:69 V5
1995testdata/Builtins.lc 539:35-539:67 Type 1980testdata/Builtins.lc 535:34-535:69 V3
1996testdata/Builtins.lc 539:35-539:67 V3 1981testdata/Builtins.lc 535:47-535:50 'Nat -> 'Nat -> Type->Type
1997testdata/Builtins.lc 539:39-539:48 'Nat -> Type->Type 1982testdata/Builtins.lc 535:34-535:69 V2
1998testdata/Builtins.lc 539:35-539:67 'Nat 1983testdata/Builtins.lc 535:60-535:63 'Nat -> 'Nat -> Type->Type
1999testdata/Builtins.lc 539:35-539:67 V1 1984testdata/Builtins.lc 535:1-535:14 {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c
2000testdata/Builtins.lc 539:51-539:56 Type 1985testdata/Builtins.lc 538:35-538:97 Type
2001testdata/Builtins.lc 538:1-538:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1986testdata/Builtins.lc 538:35-538:38 Type->Type
2002testdata/Builtins.lc 538:11-538:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1987testdata/Builtins.lc 538:35-538:97 V7
2003testdata/Builtins.lc 538:21-538:31 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 1988testdata/Builtins.lc 538:35-538:97 V6
2004testdata/Builtins.lc 541:34-541:60 Type 1989testdata/Builtins.lc 538:46-538:55 'Nat -> Type->Type
2005testdata/Builtins.lc 541:34-541:43 'Nat -> Type->Type 1990testdata/Builtins.lc 538:35-538:97 'Nat
2006testdata/Builtins.lc 541:34-541:60 'Nat 1991testdata/Builtins.lc 538:35-538:97 V4
2007testdata/Builtins.lc 541:34-541:60 V1 1992testdata/Builtins.lc 538:35-538:97 V3
2008testdata/Builtins.lc 541:46-541:51 Type 1993testdata/Builtins.lc 538:65-538:74 'Nat -> Type->Type
2009testdata/Builtins.lc 541:55-541:60 Type 1994testdata/Builtins.lc 538:77-538:81 Type
2010testdata/Builtins.lc 541:1-541:11 {a:'Nat} -> 'VecScalar a 'Float -> 'Float 1995testdata/Builtins.lc 537:1-537:13 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2011testdata/Builtins.lc 542:34-542:66 Type 1996testdata/Builtins.lc 537:15-537:32 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2012testdata/Builtins.lc 542:34-542:43 'Nat -> Type->Type 1997testdata/Builtins.lc 537:34-537:49 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2013testdata/Builtins.lc 542:34-542:66 'Nat 1998testdata/Builtins.lc 537:51-537:71 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2014testdata/Builtins.lc 542:34-542:66 V1 1999testdata/Builtins.lc 537:73-537:83 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2015testdata/Builtins.lc 542:46-542:51 Type 2000testdata/Builtins.lc 537:85-537:98 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
2016testdata/Builtins.lc 542:55-542:66 Type 2001testdata/Builtins.lc 539:35-539:76 Type
2017testdata/Builtins.lc 542:55-542:58 'Nat -> Type->Type 2002testdata/Builtins.lc 539:35-539:76 V3
2018testdata/Builtins.lc 542:61-542:66 Type 2003testdata/Builtins.lc 539:39-539:55 Type->Type
2019testdata/Builtins.lc 542:1-542:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ Zero)) 2004testdata/Builtins.lc 539:35-539:76 V1
2020testdata/Builtins.lc 543:34-543:66 Type 2005testdata/Builtins.lc 539:72-539:76 Type
2021testdata/Builtins.lc 543:34-543:43 'Nat -> Type->Type 2006testdata/Builtins.lc 539:1-539:10 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
2022testdata/Builtins.lc 543:34-543:66 'Nat 2007testdata/Builtins.lc 539:12-539:24 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
2023testdata/Builtins.lc 543:34-543:66 V1 2008testdata/Builtins.lc 542:35-542:67 Type
2024testdata/Builtins.lc 543:46-543:51 Type 2009testdata/Builtins.lc 542:35-542:67 V3
2025testdata/Builtins.lc 543:55-543:66 Type 2010testdata/Builtins.lc 542:39-542:48 'Nat -> Type->Type
2026testdata/Builtins.lc 543:55-543:58 'Nat -> Type->Type 2011testdata/Builtins.lc 542:35-542:67 'Nat
2027testdata/Builtins.lc 543:61-543:66 Type 2012testdata/Builtins.lc 542:35-542:67 V1
2028testdata/Builtins.lc 543:1-543:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ Zero))) 2013testdata/Builtins.lc 542:51-542:56 Type
2029testdata/Builtins.lc 544:34-544:66 Type 2014testdata/Builtins.lc 541:1-541:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2015testdata/Builtins.lc 541:11-541:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2016testdata/Builtins.lc 541:21-541:31 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2017testdata/Builtins.lc 544:34-544:60 Type
2030testdata/Builtins.lc 544:34-544:43 'Nat -> Type->Type 2018testdata/Builtins.lc 544:34-544:43 'Nat -> Type->Type
2031testdata/Builtins.lc 544:34-544:66 'Nat 2019testdata/Builtins.lc 544:34-544:60 'Nat
2032testdata/Builtins.lc 544:34-544:66 V1 2020testdata/Builtins.lc 544:34-544:60 V1
2033testdata/Builtins.lc 544:46-544:51 Type 2021testdata/Builtins.lc 544:46-544:51 Type
2034testdata/Builtins.lc 544:55-544:66 Type 2022testdata/Builtins.lc 544:55-544:60 Type
2035testdata/Builtins.lc 544:55-544:58 'Nat -> Type->Type 2023testdata/Builtins.lc 544:1-544:11 {a:'Nat} -> 'VecScalar a 'Float -> 'Float
2036testdata/Builtins.lc 544:61-544:66 Type 2024testdata/Builtins.lc 545:34-545:66 Type
2037testdata/Builtins.lc 544:1-544:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) 2025testdata/Builtins.lc 545:34-545:43 'Nat -> Type->Type
2038testdata/Builtins.lc 560:6-560:13 Type 2026testdata/Builtins.lc 545:34-545:66 'Nat
2039testdata/Builtins.lc 561:20-561:26 Type 2027testdata/Builtins.lc 545:34-545:66 V1
2040testdata/Builtins.lc 562:20-562:27 Type 2028testdata/Builtins.lc 545:46-545:51 Type
2041testdata/Builtins.lc 561:3-561:16 'String->'Texture 2029testdata/Builtins.lc 545:55-545:66 Type
2042testdata/Builtins.lc 564:20-564:23 'Nat -> Type->Type 2030testdata/Builtins.lc 545:55-545:58 'Nat -> Type->Type
2043testdata/Builtins.lc 564:26-564:29 Type 2031testdata/Builtins.lc 545:61-545:66 Type
2044testdata/Builtins.lc 565:20-566:27 Type 2032testdata/Builtins.lc 545:1-545:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ Zero))
2045testdata/Builtins.lc 565:20-565:25 'Nat -> Type->Type 2033testdata/Builtins.lc 546:34-546:66 Type
2046testdata/Builtins.lc 565:29-565:47 Type 2034testdata/Builtins.lc 546:34-546:43 'Nat -> Type->Type
2047testdata/Builtins.lc 565:29-565:34 Type->Type 2035testdata/Builtins.lc 546:34-546:66 'Nat
2048testdata/Builtins.lc 565:36-565:47 Type 2036testdata/Builtins.lc 546:34-546:66 V1
2049testdata/Builtins.lc 565:36-565:39 'Nat -> Type->Type 2037testdata/Builtins.lc 546:46-546:51 Type
2050testdata/Builtins.lc 565:42-565:47 Type 2038testdata/Builtins.lc 546:55-546:66 Type
2051testdata/Builtins.lc 566:20-566:27 Type 2039testdata/Builtins.lc 546:55-546:58 'Nat -> Type->Type
2052testdata/Builtins.lc 564:3-564:12 'VecS 'Int (Succ (Succ Zero)) -> 'Image (Succ Zero) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero)))))) -> 'Texture 2040testdata/Builtins.lc 546:61-546:66 Type
2053testdata/Builtins.lc 568:6-568:12 Type 2041testdata/Builtins.lc 546:1-546:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ Zero)))
2054testdata/Builtins.lc 569:5-569:16 'Filter 2042testdata/Builtins.lc 547:34-547:66 Type
2055testdata/Builtins.lc 570:5-570:17 'Filter 2043testdata/Builtins.lc 547:34-547:43 'Nat -> Type->Type
2056testdata/Builtins.lc 572:6-572:14 Type 2044testdata/Builtins.lc 547:34-547:66 'Nat
2057testdata/Builtins.lc 573:5-573:11 'EdgeMode 2045testdata/Builtins.lc 547:34-547:66 V1
2058testdata/Builtins.lc 574:5-574:19 'EdgeMode 2046testdata/Builtins.lc 547:46-547:51 Type
2059testdata/Builtins.lc 575:5-575:16 'EdgeMode 2047testdata/Builtins.lc 547:55-547:66 Type
2060testdata/Builtins.lc 577:6-577:13 Type 2048testdata/Builtins.lc 547:55-547:58 'Nat -> Type->Type
2061testdata/Builtins.lc 577:24-577:30 Type 2049testdata/Builtins.lc 547:61-547:66 Type
2062testdata/Builtins.lc 577:6-577:47 Type 2050testdata/Builtins.lc 547:1-547:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
2063testdata/Builtins.lc 577:31-577:39 Type 2051testdata/Builtins.lc 563:6-563:13 Type
2064testdata/Builtins.lc 577:40-577:47 Type 2052testdata/Builtins.lc 564:20-564:26 Type
2065testdata/Builtins.lc 577:16-577:23 'Filter -> 'EdgeMode -> 'Texture->'Sampler 2053testdata/Builtins.lc 565:20-565:27 Type
2066testdata/Builtins.lc 580:14-580:21 Type 2054testdata/Builtins.lc 564:3-564:16 'String->'Texture
2067testdata/Builtins.lc 580:25-580:51 Type 2055testdata/Builtins.lc 567:20-567:23 'Nat -> Type->Type
2068testdata/Builtins.lc 580:25-580:28 'Nat -> Type->Type 2056testdata/Builtins.lc 567:26-567:29 Type
2069testdata/Builtins.lc 580:31-580:36 Type 2057testdata/Builtins.lc 568:20-569:27 Type
2070testdata/Builtins.lc 580:40-580:51 Type 2058testdata/Builtins.lc 568:20-568:25 'Nat -> Type->Type
2071testdata/Builtins.lc 580:40-580:43 'Nat -> Type->Type 2059testdata/Builtins.lc 568:29-568:47 Type
2072testdata/Builtins.lc 580:46-580:51 Type 2060testdata/Builtins.lc 568:29-568:34 Type->Type
2073testdata/Builtins.lc 580:1-580:10 'Sampler -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) 2061testdata/Builtins.lc 568:36-568:47 Type
2074testdata/Builtins.lc 583:30-583:39 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 2062testdata/Builtins.lc 568:36-568:39 'Nat -> Type->Type
2075testdata/Builtins.lc 583:41-583:60 V1->V1 2063testdata/Builtins.lc 568:42-568:47 Type
2076testdata/Builtins.lc 583:41-583:51 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Fragment (Succ Zero) DefinedDepth a 2064testdata/Builtins.lc 569:20-569:27 Type
2077testdata/Builtins.lc 583:53-583:60 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType V1) -> 'Float 2065testdata/Builtins.lc 567:3-567:12 'VecS 'Int (Succ (Succ Zero)) -> 'Image (Succ Zero) ('Color ('VecS 'Float (Succ (Succ (Succ (Succ Zero)))))) -> 'Texture
2078testdata/Builtins.lc 583:59-583:60 'Float 2066testdata/Builtins.lc 571:6-571:12 Type
2079testdata/Builtins.lc 583:59-583:60 'Int 2067testdata/Builtins.lc 572:5-572:16 'Filter
2080testdata/Builtins.lc 583:1-583:20 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) DefinedDepth ('InterpolatedType a)) 2068testdata/Builtins.lc 573:5-573:17 'Filter
2081testdata/Builtins.lc 584:46-584:55 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 2069testdata/Builtins.lc 575:6-575:14 Type
2082testdata/Builtins.lc 584:57-584:67 V1->V1 2070testdata/Builtins.lc 576:5-576:11 'EdgeMode
2083testdata/Builtins.lc 584:57-584:67 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Fragment (Succ Zero) DefinedDepth a 2071testdata/Builtins.lc 577:5-577:19 'EdgeMode
2084testdata/Builtins.lc 584:1-584:33 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a) -> 'Float) -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) DefinedDepth ('InterpolatedType a)) 2072testdata/Builtins.lc 578:5-578:16 'EdgeMode
2085testdata/Builtins.lc 585:24-585:32 {a} -> {b} -> a -> b -> 'Tuple2 a b 2073testdata/Builtins.lc 580:6-580:13 Type
2086testdata/Builtins.lc 585:1-585:15 {a} -> {b} -> a -> b -> 'Tuple2 a b 2074testdata/Builtins.lc 580:24-580:30 Type
2087testdata/Builtins.lc 586:25-586:35 V2 -> V2->V2 2075testdata/Builtins.lc 580:6-580:47 Type
2088testdata/Builtins.lc 586:25-586:35 V2->V2 2076testdata/Builtins.lc 580:31-580:39 Type
2089testdata/Builtins.lc 586:25-586:35 V2 2077testdata/Builtins.lc 580:40-580:47 Type
2090testdata/Builtins.lc 586:25-586:35 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b 2078testdata/Builtins.lc 580:16-580:23 'Filter -> 'EdgeMode -> 'Texture->'Sampler
2091testdata/Builtins.lc 586:13-586:21 'Tuple2 ('FragOps' V1) ('Stream ('Fragment V2 V0 ('RemSemantics V1))) 2079testdata/Builtins.lc 583:14-583:21 Type
2092testdata/Builtins.lc 586:13-586:21 V4 2080testdata/Builtins.lc 583:25-583:51 Type
2093testdata/Builtins.lc 586:1-586:8 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FrameBuffer a b -> 'Tuple2 ('FragOps' b) ('Stream ('Fragment a c ('RemSemantics b))) -> 'FrameBuffer a b 2081testdata/Builtins.lc 583:25-583:28 'Nat -> Type->Type
2094testdata/Builtins.lc 587:15-587:24 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output 2082testdata/Builtins.lc 583:31-583:36 Type
2095testdata/Builtins.lc 587:1-587:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output 2083testdata/Builtins.lc 583:40-583:51 Type
2096testdata/Builtins.lc 588:14-588:25 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b 2084testdata/Builtins.lc 583:40-583:43 'Nat -> Type->Type
2097testdata/Builtins.lc 588:1-588:11 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b 2085testdata/Builtins.lc 583:46-583:51 Type
2098testdata/Builtins.lc 589:19-589:29 {a:'Nat} -> 'Float -> 'Image a ('Depth 'Float) 2086testdata/Builtins.lc 583:1-583:10 'Sampler -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
2099testdata/Builtins.lc 589:1-589:16 'Float -> 'Image (Succ Zero) ('Depth 'Float) 2087testdata/Builtins.lc 586:30-586:45 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
2100testdata/Builtins.lc 590:19-590:29 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d) 2088testdata/Builtins.lc 586:47-586:66 V1 -> 'Stream V1
2101testdata/Builtins.lc 590:1-590:16 {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image (Succ Zero) ('Color c) 2089testdata/Builtins.lc 586:47-586:57 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) DefinedDepth a)
2090testdata/Builtins.lc 586:59-586:66 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType V1) -> 'Float
2091testdata/Builtins.lc 586:65-586:66 'Float
2092testdata/Builtins.lc 586:65-586:66 'Int
2093testdata/Builtins.lc 586:1-586:20 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) DefinedDepth ('InterpolatedType a))
2094testdata/Builtins.lc 587:46-587:61 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
2095testdata/Builtins.lc 587:63-587:73 V1 -> 'Stream V1
2096testdata/Builtins.lc 587:63-587:73 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) DefinedDepth a)
2097testdata/Builtins.lc 587:1-587:33 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a) -> 'Float) -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) DefinedDepth ('InterpolatedType a))
2098testdata/Builtins.lc 588:24-588:32 {a} -> {b} -> a -> b -> 'Tuple2 a b
2099testdata/Builtins.lc 588:1-588:15 {a} -> {b} -> a -> b -> 'Tuple2 a b
2100testdata/Builtins.lc 589:25-589:35 V2 -> V2->V2
2101testdata/Builtins.lc 589:25-589:35 V2->V2
2102testdata/Builtins.lc 589:25-589:35 V2
2103testdata/Builtins.lc 589:25-589:35 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FragOps' b -> 'Stream ('Fragment a c ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b
2104testdata/Builtins.lc 589:13-589:21 'Tuple2 ('FragOps' V1) ('Stream ('Fragment V2 V0 ('RemSemantics V1)))
2105testdata/Builtins.lc 589:13-589:21 V4
2106testdata/Builtins.lc 589:1-589:8 {a:'Nat} -> {b} -> {c:'DepthHandler} -> 'FrameBuffer a b -> 'Tuple2 ('FragOps' b) ('Stream ('Fragment a c ('RemSemantics b))) -> 'FrameBuffer a b
2107testdata/Builtins.lc 590:15-590:24 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output
2108testdata/Builtins.lc 590:1-590:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output
2109testdata/Builtins.lc 591:14-591:25 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b
2110testdata/Builtins.lc 591:1-591:11 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b
2111testdata/Builtins.lc 592:19-592:29 {a:'Nat} -> 'Float -> 'Image a ('Depth 'Float)
2112testdata/Builtins.lc 592:1-592:16 'Float -> 'Image (Succ Zero) ('Depth 'Float)
2113testdata/Builtins.lc 593:19-593:29 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d)
2114testdata/Builtins.lc 593:1-593:16 {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image (Succ Zero) ('Color c)
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:29:57 +0000