main is not found
tooltips:
testdata/Builtins.lc 9:1-9:3  {a} -> a->a
testdata/Builtins.lc 9:8-9:9  V1
testdata/Builtins.lc 13:7-13:21  Type->Type
testdata/Builtins.lc 15:7-15:18  Type->Type
testdata/Builtins.lc 17:7-17:23  Type->Type
testdata/Builtins.lc 20:6-20:10  Type | Type -> Nat->Type
testdata/Builtins.lc 20:6-23:37  Type
testdata/Builtins.lc 20:17-20:21  Type
testdata/Builtins.lc 20:26-20:29  Type
testdata/Builtins.lc 20:26-20:37  Type
testdata/Builtins.lc 20:33-20:37  Type
testdata/Builtins.lc 21:3-21:5  VecS V3 2 | {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 21:3-21:27  Type
testdata/Builtins.lc 21:9-21:10  Type
testdata/Builtins.lc 21:9-21:27  Type
testdata/Builtins.lc 21:14-21:15  Type
testdata/Builtins.lc 21:14-21:27  Type
testdata/Builtins.lc 21:19-21:23  Type -> Nat->Type
testdata/Builtins.lc 21:19-21:25  Nat->Type
testdata/Builtins.lc 21:19-21:27  Type
testdata/Builtins.lc 21:24-21:25  Type
testdata/Builtins.lc 21:26-21:27  V1
testdata/Builtins.lc 22:3-22:5  VecS V5 3 | {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 22:3-22:32  Type
testdata/Builtins.lc 22:9-22:10  Type
testdata/Builtins.lc 22:9-22:32  Type
testdata/Builtins.lc 22:14-22:15  Type
testdata/Builtins.lc 22:14-22:32  Type
testdata/Builtins.lc 22:19-22:20  Type
testdata/Builtins.lc 22:19-22:32  Type
testdata/Builtins.lc 22:24-22:28  Type -> Nat->Type
testdata/Builtins.lc 22:24-22:30  Nat->Type
testdata/Builtins.lc 22:24-22:32  Type
testdata/Builtins.lc 22:29-22:30  Type
testdata/Builtins.lc 22:31-22:32  V1
testdata/Builtins.lc 23:3-23:5  VecS V7 4 | {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 23:3-23:37  Type
testdata/Builtins.lc 23:9-23:10  Type
testdata/Builtins.lc 23:9-23:37  Type
testdata/Builtins.lc 23:14-23:15  Type
testdata/Builtins.lc 23:14-23:37  Type
testdata/Builtins.lc 23:19-23:20  Type
testdata/Builtins.lc 23:19-23:37  Type
testdata/Builtins.lc 23:24-23:25  Type
testdata/Builtins.lc 23:24-23:37  Type
testdata/Builtins.lc 23:29-23:33  Type -> Nat->Type
testdata/Builtins.lc 23:29-23:35  Nat->Type
testdata/Builtins.lc 23:29-23:37  Type
testdata/Builtins.lc 23:34-23:35  Type
testdata/Builtins.lc 23:36-23:37  V1
testdata/Builtins.lc 25:23-25:26  Type
testdata/Builtins.lc 25:37-25:40  Nat -> Type->Type
testdata/Builtins.lc 25:47-25:51  Type -> Nat->Type
testdata/Builtins.lc 25:47-25:53  Nat->Type
testdata/Builtins.lc 25:47-25:55  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 25:52-25:53  Type
testdata/Builtins.lc 25:54-25:55  Nat
testdata/Builtins.lc 27:29-27:32  Type
testdata/Builtins.lc 28:5-28:14  Nat -> Type->Type
testdata/Builtins.lc 28:21-28:22  Type
testdata/Builtins.lc 28:21-29:60  Nat -> Type->Type | Nat->Type | Type->Type
testdata/Builtins.lc 29:37-29:40  Nat -> Type->Type
testdata/Builtins.lc 29:37-29:58  Type->Type
testdata/Builtins.lc 29:37-29:60  Nat->Type | Type
testdata/Builtins.lc 29:41-29:58  Nat
testdata/Builtins.lc 29:42-29:47  Nat->Nat
testdata/Builtins.lc 29:48-29:57  Nat
testdata/Builtins.lc 29:49-29:54  Nat->Nat
testdata/Builtins.lc 29:55-29:56  Nat
testdata/Builtins.lc 29:59-29:60  Type
testdata/Builtins.lc 32:25-32:28  Type
testdata/Builtins.lc 33:5-33:10  Nat -> Type->Type
testdata/Builtins.lc 33:17-33:20  Nat -> Type->Type
testdata/Builtins.lc 33:17-33:22  Type->Type
testdata/Builtins.lc 33:17-33:24  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 33:21-33:22  Nat
testdata/Builtins.lc 33:23-33:24  Type
testdata/Builtins.lc 36:6-36:9  Nat -> Nat -> Type->Type | Type
testdata/Builtins.lc 36:6-45:84  Type
testdata/Builtins.lc 36:13-36:16  Type
testdata/Builtins.lc 36:20-36:23  Type
testdata/Builtins.lc 36:20-36:39  Type
testdata/Builtins.lc 36:27-36:31  Type
testdata/Builtins.lc 36:27-36:39  Type
testdata/Builtins.lc 36:35-36:39  Type
testdata/Builtins.lc 37:3-37:7  Mat 2 2 Float | VecS Float 2 -> VecS Float 2 -> Mat 2 2 Float
testdata/Builtins.lc 37:3-37:54  Type
testdata/Builtins.lc 37:11-37:14  Nat -> Type->Type
testdata/Builtins.lc 37:11-37:16  Type->Type
testdata/Builtins.lc 37:11-37:22  Type
testdata/Builtins.lc 37:15-37:16  V1
testdata/Builtins.lc 37:17-37:22  Type
testdata/Builtins.lc 37:26-37:29  Nat -> Type->Type
testdata/Builtins.lc 37:26-37:31  Type->Type
testdata/Builtins.lc 37:26-37:37  Type
testdata/Builtins.lc 37:26-37:54  Type
testdata/Builtins.lc 37:30-37:31  V1
testdata/Builtins.lc 37:32-37:37  Type
testdata/Builtins.lc 37:41-37:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 37:41-37:46  Nat -> Type->Type
testdata/Builtins.lc 37:41-37:48  Type->Type
testdata/Builtins.lc 37:41-37:54  Type
testdata/Builtins.lc 37:45-37:46  V1
testdata/Builtins.lc 37:45-37:48  a:Type -> Mat 2 2 a -> Type
testdata/Builtins.lc 37:45-37:54  Mat 2 2 Float -> Type
testdata/Builtins.lc 37:47-37:48  V1
testdata/Builtins.lc 37:49-37:54  Type
testdata/Builtins.lc 38:3-38:7  Mat 3 2 Float | VecS Float 3 -> VecS Float 3 -> Mat 3 2 Float
testdata/Builtins.lc 38:3-38:54  Type
testdata/Builtins.lc 38:11-38:14  Nat -> Type->Type
testdata/Builtins.lc 38:11-38:16  Type->Type
testdata/Builtins.lc 38:11-38:22  Type
testdata/Builtins.lc 38:15-38:16  V1
testdata/Builtins.lc 38:17-38:22  Type
testdata/Builtins.lc 38:26-38:29  Nat -> Type->Type
testdata/Builtins.lc 38:26-38:31  Type->Type
testdata/Builtins.lc 38:26-38:37  Type
testdata/Builtins.lc 38:26-38:54  Type
testdata/Builtins.lc 38:30-38:31  V1
testdata/Builtins.lc 38:32-38:37  Type
testdata/Builtins.lc 38:41-38:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 38:41-38:46  Nat -> Type->Type
testdata/Builtins.lc 38:41-38:48  Type->Type
testdata/Builtins.lc 38:41-38:54  Type
testdata/Builtins.lc 38:45-38:46  V1
testdata/Builtins.lc 38:45-38:48  a:Type -> Mat 3 2 a -> Type
testdata/Builtins.lc 38:45-38:54  Mat 3 2 Float -> Type
testdata/Builtins.lc 38:47-38:48  V1
testdata/Builtins.lc 38:49-38:54  Type
testdata/Builtins.lc 39:3-39:7  Mat 4 2 Float | VecS Float 4 -> VecS Float 4 -> Mat 4 2 Float
testdata/Builtins.lc 39:3-39:54  Type
testdata/Builtins.lc 39:11-39:14  Nat -> Type->Type
testdata/Builtins.lc 39:11-39:16  Type->Type
testdata/Builtins.lc 39:11-39:22  Type
testdata/Builtins.lc 39:15-39:16  V1
testdata/Builtins.lc 39:17-39:22  Type
testdata/Builtins.lc 39:26-39:29  Nat -> Type->Type
testdata/Builtins.lc 39:26-39:31  Type->Type
testdata/Builtins.lc 39:26-39:37  Type
testdata/Builtins.lc 39:26-39:54  Type
testdata/Builtins.lc 39:30-39:31  V1
testdata/Builtins.lc 39:32-39:37  Type
testdata/Builtins.lc 39:41-39:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 39:41-39:46  Nat -> Type->Type
testdata/Builtins.lc 39:41-39:48  Type->Type
testdata/Builtins.lc 39:41-39:54  Type
testdata/Builtins.lc 39:45-39:46  V1
testdata/Builtins.lc 39:45-39:48  a:Type -> Mat 4 2 a -> Type
testdata/Builtins.lc 39:45-39:54  Mat 4 2 Float -> Type
testdata/Builtins.lc 39:47-39:48  V1
testdata/Builtins.lc 39:49-39:54  Type
testdata/Builtins.lc 40:3-40:7  Mat 2 3 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 3 Float
testdata/Builtins.lc 40:3-40:69  Type
testdata/Builtins.lc 40:11-40:14  Nat -> Type->Type
testdata/Builtins.lc 40:11-40:16  Type->Type
testdata/Builtins.lc 40:11-40:22  Type
testdata/Builtins.lc 40:15-40:16  V1
testdata/Builtins.lc 40:17-40:22  Type
testdata/Builtins.lc 40:26-40:29  Nat -> Type->Type
testdata/Builtins.lc 40:26-40:31  Type->Type
testdata/Builtins.lc 40:26-40:37  Type
testdata/Builtins.lc 40:26-40:69  Type
testdata/Builtins.lc 40:30-40:31  V1
testdata/Builtins.lc 40:32-40:37  Type
testdata/Builtins.lc 40:41-40:44  Nat -> Type->Type
testdata/Builtins.lc 40:41-40:46  Type->Type
testdata/Builtins.lc 40:41-40:52  Type
testdata/Builtins.lc 40:41-40:69  Type
testdata/Builtins.lc 40:45-40:46  V1
testdata/Builtins.lc 40:47-40:52  Type
testdata/Builtins.lc 40:56-40:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 40:56-40:61  Nat -> Type->Type
testdata/Builtins.lc 40:56-40:63  Type->Type
testdata/Builtins.lc 40:56-40:69  Type
testdata/Builtins.lc 40:60-40:61  V1
testdata/Builtins.lc 40:60-40:63  a:Type -> Mat 2 3 a -> Type
testdata/Builtins.lc 40:60-40:69  Mat 2 3 Float -> Type
testdata/Builtins.lc 40:62-40:63  V1
testdata/Builtins.lc 40:64-40:69  Type
testdata/Builtins.lc 41:3-41:7  Mat 3 3 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 3 Float
testdata/Builtins.lc 41:3-41:69  Type
testdata/Builtins.lc 41:11-41:14  Nat -> Type->Type
testdata/Builtins.lc 41:11-41:16  Type->Type
testdata/Builtins.lc 41:11-41:22  Type
testdata/Builtins.lc 41:15-41:16  V1
testdata/Builtins.lc 41:17-41:22  Type
testdata/Builtins.lc 41:26-41:29  Nat -> Type->Type
testdata/Builtins.lc 41:26-41:31  Type->Type
testdata/Builtins.lc 41:26-41:37  Type
testdata/Builtins.lc 41:26-41:69  Type
testdata/Builtins.lc 41:30-41:31  V1
testdata/Builtins.lc 41:32-41:37  Type
testdata/Builtins.lc 41:41-41:44  Nat -> Type->Type
testdata/Builtins.lc 41:41-41:46  Type->Type
testdata/Builtins.lc 41:41-41:52  Type
testdata/Builtins.lc 41:41-41:69  Type
testdata/Builtins.lc 41:45-41:46  V1
testdata/Builtins.lc 41:47-41:52  Type
testdata/Builtins.lc 41:56-41:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 41:56-41:61  Nat -> Type->Type
testdata/Builtins.lc 41:56-41:63  Type->Type
testdata/Builtins.lc 41:56-41:69  Type
testdata/Builtins.lc 41:60-41:61  V1
testdata/Builtins.lc 41:60-41:63  a:Type -> Mat 3 3 a -> Type
testdata/Builtins.lc 41:60-41:69  Mat 3 3 Float -> Type
testdata/Builtins.lc 41:62-41:63  V1
testdata/Builtins.lc 41:64-41:69  Type
testdata/Builtins.lc 42:3-42:7  Mat 4 3 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 3 Float
testdata/Builtins.lc 42:3-42:69  Type
testdata/Builtins.lc 42:11-42:14  Nat -> Type->Type
testdata/Builtins.lc 42:11-42:16  Type->Type
testdata/Builtins.lc 42:11-42:22  Type
testdata/Builtins.lc 42:15-42:16  V1
testdata/Builtins.lc 42:17-42:22  Type
testdata/Builtins.lc 42:26-42:29  Nat -> Type->Type
testdata/Builtins.lc 42:26-42:31  Type->Type
testdata/Builtins.lc 42:26-42:37  Type
testdata/Builtins.lc 42:26-42:69  Type
testdata/Builtins.lc 42:30-42:31  V1
testdata/Builtins.lc 42:32-42:37  Type
testdata/Builtins.lc 42:41-42:44  Nat -> Type->Type
testdata/Builtins.lc 42:41-42:46  Type->Type
testdata/Builtins.lc 42:41-42:52  Type
testdata/Builtins.lc 42:41-42:69  Type
testdata/Builtins.lc 42:45-42:46  V1
testdata/Builtins.lc 42:47-42:52  Type
testdata/Builtins.lc 42:56-42:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 42:56-42:61  Nat -> Type->Type
testdata/Builtins.lc 42:56-42:63  Type->Type
testdata/Builtins.lc 42:56-42:69  Type
testdata/Builtins.lc 42:60-42:61  V1
testdata/Builtins.lc 42:60-42:63  a:Type -> Mat 4 3 a -> Type
testdata/Builtins.lc 42:60-42:69  Mat 4 3 Float -> Type
testdata/Builtins.lc 42:62-42:63  V1
testdata/Builtins.lc 42:64-42:69  Type
testdata/Builtins.lc 43:3-43:7  Mat 2 4 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 4 Float
testdata/Builtins.lc 43:3-43:84  Type
testdata/Builtins.lc 43:11-43:14  Nat -> Type->Type
testdata/Builtins.lc 43:11-43:16  Type->Type
testdata/Builtins.lc 43:11-43:22  Type
testdata/Builtins.lc 43:15-43:16  V1
testdata/Builtins.lc 43:17-43:22  Type
testdata/Builtins.lc 43:26-43:29  Nat -> Type->Type
testdata/Builtins.lc 43:26-43:31  Type->Type
testdata/Builtins.lc 43:26-43:37  Type
testdata/Builtins.lc 43:26-43:84  Type
testdata/Builtins.lc 43:30-43:31  V1
testdata/Builtins.lc 43:32-43:37  Type
testdata/Builtins.lc 43:41-43:44  Nat -> Type->Type
testdata/Builtins.lc 43:41-43:46  Type->Type
testdata/Builtins.lc 43:41-43:52  Type
testdata/Builtins.lc 43:41-43:84  Type
testdata/Builtins.lc 43:45-43:46  V1
testdata/Builtins.lc 43:47-43:52  Type
testdata/Builtins.lc 43:56-43:59  Nat -> Type->Type
testdata/Builtins.lc 43:56-43:61  Type->Type
testdata/Builtins.lc 43:56-43:67  Type
testdata/Builtins.lc 43:56-43:84  Type
testdata/Builtins.lc 43:60-43:61  V1
testdata/Builtins.lc 43:62-43:67  Type
testdata/Builtins.lc 43:71-43:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 43:71-43:76  Nat -> Type->Type
testdata/Builtins.lc 43:71-43:78  Type->Type
testdata/Builtins.lc 43:71-43:84  Type
testdata/Builtins.lc 43:75-43:76  V1
testdata/Builtins.lc 43:75-43:78  a:Type -> Mat 2 4 a -> Type
testdata/Builtins.lc 43:75-43:84  Mat 2 4 Float -> Type
testdata/Builtins.lc 43:77-43:78  V1
testdata/Builtins.lc 43:79-43:84  Type
testdata/Builtins.lc 44:3-44:7  Mat 3 4 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 4 Float
testdata/Builtins.lc 44:3-44:84  Type
testdata/Builtins.lc 44:11-44:14  Nat -> Type->Type
testdata/Builtins.lc 44:11-44:16  Type->Type
testdata/Builtins.lc 44:11-44:22  Type
testdata/Builtins.lc 44:15-44:16  V1
testdata/Builtins.lc 44:17-44:22  Type
testdata/Builtins.lc 44:26-44:29  Nat -> Type->Type
testdata/Builtins.lc 44:26-44:31  Type->Type
testdata/Builtins.lc 44:26-44:37  Type
testdata/Builtins.lc 44:26-44:84  Type
testdata/Builtins.lc 44:30-44:31  V1
testdata/Builtins.lc 44:32-44:37  Type
testdata/Builtins.lc 44:41-44:44  Nat -> Type->Type
testdata/Builtins.lc 44:41-44:46  Type->Type
testdata/Builtins.lc 44:41-44:52  Type
testdata/Builtins.lc 44:41-44:84  Type
testdata/Builtins.lc 44:45-44:46  V1
testdata/Builtins.lc 44:47-44:52  Type
testdata/Builtins.lc 44:56-44:59  Nat -> Type->Type
testdata/Builtins.lc 44:56-44:61  Type->Type
testdata/Builtins.lc 44:56-44:67  Type
testdata/Builtins.lc 44:56-44:84  Type
testdata/Builtins.lc 44:60-44:61  V1
testdata/Builtins.lc 44:62-44:67  Type
testdata/Builtins.lc 44:71-44:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 44:71-44:76  Nat -> Type->Type
testdata/Builtins.lc 44:71-44:78  Type->Type
testdata/Builtins.lc 44:71-44:84  Type
testdata/Builtins.lc 44:75-44:76  V1
testdata/Builtins.lc 44:75-44:78  a:Type -> Mat 3 4 a -> Type
testdata/Builtins.lc 44:75-44:84  Mat 3 4 Float -> Type
testdata/Builtins.lc 44:77-44:78  V1
testdata/Builtins.lc 44:79-44:84  Type
testdata/Builtins.lc 45:3-45:7  Mat 4 4 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 4 Float
testdata/Builtins.lc 45:3-45:84  Type
testdata/Builtins.lc 45:11-45:14  Nat -> Type->Type
testdata/Builtins.lc 45:11-45:16  Type->Type
testdata/Builtins.lc 45:11-45:22  Type
testdata/Builtins.lc 45:15-45:16  V1
testdata/Builtins.lc 45:17-45:22  Type
testdata/Builtins.lc 45:26-45:29  Nat -> Type->Type
testdata/Builtins.lc 45:26-45:31  Type->Type
testdata/Builtins.lc 45:26-45:37  Type
testdata/Builtins.lc 45:26-45:84  Type
testdata/Builtins.lc 45:30-45:31  V1
testdata/Builtins.lc 45:32-45:37  Type
testdata/Builtins.lc 45:41-45:44  Nat -> Type->Type
testdata/Builtins.lc 45:41-45:46  Type->Type
testdata/Builtins.lc 45:41-45:52  Type
testdata/Builtins.lc 45:41-45:84  Type
testdata/Builtins.lc 45:45-45:46  V1
testdata/Builtins.lc 45:47-45:52  Type
testdata/Builtins.lc 45:56-45:59  Nat -> Type->Type
testdata/Builtins.lc 45:56-45:61  Type->Type
testdata/Builtins.lc 45:56-45:67  Type
testdata/Builtins.lc 45:56-45:84  Type
testdata/Builtins.lc 45:60-45:61  V1
testdata/Builtins.lc 45:62-45:67  Type
testdata/Builtins.lc 45:71-45:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 45:71-45:76  Nat -> Type->Type
testdata/Builtins.lc 45:71-45:78  Type->Type
testdata/Builtins.lc 45:71-45:84  Type
testdata/Builtins.lc 45:75-45:76  V1
testdata/Builtins.lc 45:75-45:78  a:Type -> Mat 4 4 a -> Type
testdata/Builtins.lc 45:75-45:84  Mat 4 4 Float -> Type
testdata/Builtins.lc 45:77-45:78  V1
testdata/Builtins.lc 45:79-45:84  Type
testdata/Builtins.lc 48:5-48:21  Type->Type
testdata/Builtins.lc 48:22-48:27  Type
testdata/Builtins.lc 48:22-48:35  Type->Type
testdata/Builtins.lc 48:22-52:37  Type | Type->Type
testdata/Builtins.lc 48:30-48:35  Type
testdata/Builtins.lc 49:22-49:26  Type
testdata/Builtins.lc 49:22-49:33  Type->Type
testdata/Builtins.lc 49:22-52:37  Type
testdata/Builtins.lc 49:29-49:33  Type
testdata/Builtins.lc 50:22-50:25  Type
testdata/Builtins.lc 50:22-50:31  Type->Type
testdata/Builtins.lc 50:22-52:37  Type
testdata/Builtins.lc 50:28-50:31  Type
testdata/Builtins.lc 51:28-51:31  Type
testdata/Builtins.lc 51:28-51:36  Type->Type
testdata/Builtins.lc 51:28-52:37  Type
testdata/Builtins.lc 51:35-51:36  Nat->Type | Type | Type -> Nat->Type
testdata/Builtins.lc 52:27-52:32  Type
testdata/Builtins.lc 52:27-52:37  Type->Type
testdata/Builtins.lc 52:36-52:37  Nat -> Nat -> Type->Type | Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 56:6-56:11  Type
testdata/Builtins.lc 56:6-56:31  Type
testdata/Builtins.lc 56:14-56:16  Swizz
testdata/Builtins.lc 56:19-56:21  Swizz
testdata/Builtins.lc 56:24-56:26  Swizz
testdata/Builtins.lc 56:29-56:31  Swizz
testdata/Builtins.lc 59:26-59:56  Type
testdata/Builtins.lc 59:27-59:28  V5
testdata/Builtins.lc 59:32-59:33  Type | V4
testdata/Builtins.lc 59:38-59:41  Nat -> Type->Type
testdata/Builtins.lc 59:38-59:43  Type->Type
testdata/Builtins.lc 59:38-59:45  Type
testdata/Builtins.lc 59:38-59:56  Type
testdata/Builtins.lc 59:42-59:43  V2
testdata/Builtins.lc 59:44-59:45  Type
testdata/Builtins.lc 59:49-59:52  Nat -> Type->Type
testdata/Builtins.lc 59:49-59:54  Type->Type
testdata/Builtins.lc 59:49-59:56  Type
testdata/Builtins.lc 59:53-59:54  Nat
testdata/Builtins.lc 59:55-59:56  Type
testdata/Builtins.lc 60:1-60:7  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 60:23-60:32  {a} -> (d : b:Nat -> VecS a b -> Type) -> (e:a -> f:a -> d 2 ('V2 e f)) -> (h:a -> i:a -> j:a -> d 3 ('V3 h i j)) -> (l:a -> m:a -> n:a -> o:a -> d 4 ('V4 l m n o)) -> {q:Nat} -> (r : VecS a q) -> d q r
testdata/Builtins.lc 60:23-60:51  (V0 -> V1 -> VecS V6 2) -> (V1 -> V2 -> V3 -> VecS V8 3) -> (V2 -> V3 -> V4 -> V5 -> VecS V10 4) -> {m:Nat} -> VecS V4 m -> VecS V9 m
testdata/Builtins.lc 60:23-61:29  (V4 -> V5 -> V6 -> VecS V6 3) -> (V5 -> V6 -> V7 -> V8 -> VecS V8 4) -> {j:Nat} -> VecS V7 j -> VecS V7 j
testdata/Builtins.lc 60:23-62:37  (V4 -> V5 -> V6 -> V7 -> VecS V7 4) -> {f:Nat} -> VecS V6 f -> VecS V6 f
testdata/Builtins.lc 60:23-63:45  {a:Nat} -> VecS V5 a -> VecS V5 a
testdata/Builtins.lc 60:23-64:7  VecS V4 V2 -> VecS V4 V3
testdata/Builtins.lc 60:23-65:6  V2->V2 -> VecS V3 V1 -> VecS V3 V2 | VecS V3 V1 -> VecS V3 V2 | VecS V3 V2 | {a:Nat} -> V2->V2 -> VecS V3 a -> VecS V3 a | {a} -> {b:Nat} -> V2->a -> VecS V3 b -> VecS a b | {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 60:33-60:51  a:Nat -> VecS V1 a -> Type
testdata/Builtins.lc 60:42-60:46  Nat -> Type->Type
testdata/Builtins.lc 60:42-60:48  Type->Type
testdata/Builtins.lc 60:42-60:50  Type | VecS V1 V0 -> Type
testdata/Builtins.lc 60:47-60:48  Nat
testdata/Builtins.lc 60:49-60:50  Type
testdata/Builtins.lc 61:5-61:29  V0 -> V1 -> VecS V6 2
testdata/Builtins.lc 61:14-61:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 61:14-61:22  V5 -> VecS V6 2
testdata/Builtins.lc 61:14-61:28  V1 -> VecS V6 2 | VecS V5 2
testdata/Builtins.lc 61:17-61:22  V5
testdata/Builtins.lc 61:18-61:19  V8->V8
testdata/Builtins.lc 61:20-61:21  V2
testdata/Builtins.lc 61:23-61:28  V5
testdata/Builtins.lc 61:24-61:25  V6->V6
testdata/Builtins.lc 61:26-61:27  V6
testdata/Builtins.lc 62:5-62:37  V4 -> V5 -> V6 -> VecS V6 3
testdata/Builtins.lc 62:16-62:18  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 62:16-62:24  V6 -> V7 -> VecS V8 3
testdata/Builtins.lc 62:16-62:30  V6 -> VecS V7 3
testdata/Builtins.lc 62:16-62:36  V5 -> V6 -> VecS V6 3 | V6 -> VecS V6 3 | VecS V6 3
testdata/Builtins.lc 62:19-62:24  V6
testdata/Builtins.lc 62:20-62:21  V8->V8
testdata/Builtins.lc 62:22-62:23  V7
testdata/Builtins.lc 62:25-62:30  V6
testdata/Builtins.lc 62:26-62:27  V7->V7
testdata/Builtins.lc 62:28-62:29  V7
testdata/Builtins.lc 62:31-62:36  V6
testdata/Builtins.lc 62:32-62:33  V7->V7
testdata/Builtins.lc 62:34-62:35  V7
testdata/Builtins.lc 63:5-63:45  V4 -> V5 -> V6 -> V7 -> VecS V7 4
testdata/Builtins.lc 63:18-63:20  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 63:18-63:26  V7 -> V8 -> V9 -> VecS V10 4
testdata/Builtins.lc 63:18-63:32  V7 -> V8 -> VecS V9 4
testdata/Builtins.lc 63:18-63:38  V7 -> VecS V8 4
testdata/Builtins.lc 63:18-63:44  V5 -> V6 -> V7 -> VecS V7 4 | V6 -> V7 -> VecS V7 4 | V7 -> VecS V7 4 | VecS V7 4
testdata/Builtins.lc 63:21-63:26  V7
testdata/Builtins.lc 63:22-63:23  V9->V9
testdata/Builtins.lc 63:24-63:25  V8
testdata/Builtins.lc 63:27-63:32  V7
testdata/Builtins.lc 63:28-63:29  V8->V8
testdata/Builtins.lc 63:30-63:31  V8
testdata/Builtins.lc 63:33-63:38  V7
testdata/Builtins.lc 63:34-63:35  V8->V8
testdata/Builtins.lc 63:36-63:37  V8
testdata/Builtins.lc 63:39-63:44  V7
testdata/Builtins.lc 63:40-63:41  V8->V8
testdata/Builtins.lc 63:42-63:43  V8
testdata/Builtins.lc 64:6-64:7  Nat
testdata/Builtins.lc 65:5-65:6  VecS V4 V2
testdata/Builtins.lc 68:16-68:48  Type
testdata/Builtins.lc 68:27-68:30  Nat -> Type->Type
testdata/Builtins.lc 68:27-68:32  Type->Type
testdata/Builtins.lc 68:27-68:34  Type
testdata/Builtins.lc 68:27-68:48  Type
testdata/Builtins.lc 68:31-68:32  V1
testdata/Builtins.lc 68:33-68:34  V2
testdata/Builtins.lc 68:38-68:43  Type
testdata/Builtins.lc 68:38-68:48  Type
testdata/Builtins.lc 68:47-68:48  Type
testdata/Builtins.lc 69:1-69:12  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 69:17-69:20  VecS V5 V4
testdata/Builtins.lc 69:17-77:32  Swizz->V3 | V3 | VecS V1 V0 -> Swizz->V3
testdata/Builtins.lc 69:22-69:24  Swizz
testdata/Builtins.lc 69:22-70:28  V1 -> V2->V2 | V2 | V2->V2
testdata/Builtins.lc 69:22-73:30  (V0 -> V1 -> V2 -> V3->V4) -> {f:Nat} -> VecS V2 f -> V3
testdata/Builtins.lc 69:22-77:32  {a:Nat} -> VecS V1 a -> V2
testdata/Builtins.lc 69:27-69:28  V4
testdata/Builtins.lc 69:27-70:28  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 70:27-70:28  V3
testdata/Builtins.lc 71:24-71:26  Swizz
testdata/Builtins.lc 71:24-73:30  V0 -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
testdata/Builtins.lc 71:29-71:30  V4
testdata/Builtins.lc 71:29-72:30  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 71:29-73:30  V3 -> Swizz->V5
testdata/Builtins.lc 72:29-72:30  V3
testdata/Builtins.lc 73:29-73:30  V3
testdata/Builtins.lc 74:26-74:28  Swizz
testdata/Builtins.lc 74:26-77:32  V0 -> V1 -> V2 -> V3->V4 | V1 -> V2 -> V3->V4 | V2 -> V3->V4 | V3->V4 | V4
testdata/Builtins.lc 74:31-74:32  V5
testdata/Builtins.lc 74:31-75:32  V4 -> V5 -> Swizz->V7
testdata/Builtins.lc 74:31-76:32  V4 -> Swizz->V6
testdata/Builtins.lc 74:31-77:32  Swizz->V5
testdata/Builtins.lc 75:31-75:32  V4
testdata/Builtins.lc 76:31-76:32  V4
testdata/Builtins.lc 77:31-77:32  V4
testdata/Builtins.lc 80:28-80:31  Nat -> Type->Type
testdata/Builtins.lc 80:28-80:33  Type->Type
testdata/Builtins.lc 80:28-80:35  Type
testdata/Builtins.lc 80:28-80:43  Type
testdata/Builtins.lc 80:32-80:33  V1
testdata/Builtins.lc 80:34-80:35  V2
testdata/Builtins.lc 80:39-80:43  Type
testdata/Builtins.lc 81:1-81:11  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 81:16-81:19  VecS V4 V3
testdata/Builtins.lc 81:16-83:31  Bool | VecS V1 V0 -> Bool
testdata/Builtins.lc 81:23-81:27  Bool | V1 -> V2->V2 | V2->V2
testdata/Builtins.lc 81:23-82:29  (V0 -> V1 -> V2 -> V3->Bool) -> {f:Nat} -> VecS V2 f -> Bool
testdata/Builtins.lc 81:23-83:31  {a:Nat} -> VecS V1 a -> Bool
testdata/Builtins.lc 82:25-82:29  Bool | V0 -> V1 -> V2->Bool | V1 -> V2->Bool | V2->Bool
testdata/Builtins.lc 83:27-83:31  Bool | V0 -> V1 -> V2 -> V3->Bool | V1 -> V2 -> V3->Bool | V2 -> V3->Bool | V3->Bool
testdata/Builtins.lc 85:16-85:71  Type
testdata/Builtins.lc 85:27-85:71  Type
testdata/Builtins.lc 85:38-85:41  Nat -> Type->Type
testdata/Builtins.lc 85:38-85:43  Type->Type
testdata/Builtins.lc 85:38-85:45  Type
testdata/Builtins.lc 85:38-85:71  Type
testdata/Builtins.lc 85:42-85:43  V3
testdata/Builtins.lc 85:44-85:45  V4
testdata/Builtins.lc 85:49-85:52  Nat -> Type->Type
testdata/Builtins.lc 85:49-85:54  Type->Type
testdata/Builtins.lc 85:49-85:60  Type
testdata/Builtins.lc 85:49-85:71  Type
testdata/Builtins.lc 85:53-85:54  V2
testdata/Builtins.lc 85:55-85:60  Type
testdata/Builtins.lc 85:64-85:67  Nat -> Type->Type
testdata/Builtins.lc 85:64-85:69  Type->Type
testdata/Builtins.lc 85:64-85:71  Type
testdata/Builtins.lc 85:68-85:69  Nat
testdata/Builtins.lc 85:70-85:71  Type
testdata/Builtins.lc 86:1-86:12  {a} -> {b:Nat} -> {c:Nat} -> VecS a b -> VecS Swizz c -> VecS a c
testdata/Builtins.lc 86:19-86:29  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 86:19-86:31  Bool
testdata/Builtins.lc 86:19-86:58  VecS Swizz V1 -> VecS V4 V2 | VecS V2 V1 -> VecS Swizz V1 -> VecS V4 V2 | VecS V4 V2
testdata/Builtins.lc 86:30-86:31  VecS V6 V5
testdata/Builtins.lc 86:34-86:40  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 86:34-86:56  VecS Swizz V0 -> VecS V7 V1
testdata/Builtins.lc 86:34-86:58  VecS V4 V2
testdata/Builtins.lc 86:41-86:56  Swizz->V9
testdata/Builtins.lc 86:42-86:53  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 86:54-86:55  VecS V10 V9
testdata/Builtins.lc 86:57-86:58  VecS Swizz V3
testdata/Builtins.lc 91:7-91:13  Type->Type
testdata/Builtins.lc 93:25-93:28  Type
testdata/Builtins.lc 93:25-94:30  Type | Type->Type
testdata/Builtins.lc 94:25-94:30  Type
testdata/Builtins.lc 96:7-96:16  Type->Type
testdata/Builtins.lc 96:7-97:16  Type
testdata/Builtins.lc 96:7-98:15  Type
testdata/Builtins.lc 97:3-97:11  {a} -> {b : Component a}->a
testdata/Builtins.lc 97:15-97:16  Type
testdata/Builtins.lc 98:3-98:10  {a} -> {b : Component a}->a
testdata/Builtins.lc 98:14-98:15  Type
testdata/Builtins.lc 100:20-100:23  Type
testdata/Builtins.lc 100:20-101:22  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 100:20-102:21  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 100:20-118:24  Type | Type->Type
testdata/Builtins.lc 100:20-128:40  {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 100:20-129:35  {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 101:14-101:15  V1
testdata/Builtins.lc 101:14-101:22  Int
testdata/Builtins.lc 101:19-101:22  Type
testdata/Builtins.lc 102:13-102:14  V1
testdata/Builtins.lc 102:13-102:21  Int
testdata/Builtins.lc 102:18-102:21  Type
testdata/Builtins.lc 103:20-103:24  Type
testdata/Builtins.lc 103:20-104:23  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 103:20-105:22  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 103:20-118:24  Type
testdata/Builtins.lc 103:20-128:40  {a : Component V0}->V1
testdata/Builtins.lc 103:20-129:35  {a : Component V0}->V1
testdata/Builtins.lc 104:14-104:15  V1
testdata/Builtins.lc 104:14-104:23  Word
testdata/Builtins.lc 104:19-104:23  Type
testdata/Builtins.lc 105:13-105:14  V1
testdata/Builtins.lc 105:13-105:22  Word
testdata/Builtins.lc 105:18-105:22  Type
testdata/Builtins.lc 106:20-106:25  Type
testdata/Builtins.lc 106:20-107:17  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 106:20-108:16  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 106:20-118:24  Type
testdata/Builtins.lc 106:20-128:40  {a : Component V0}->V1
testdata/Builtins.lc 106:20-129:35  {a : Component V0}->V1
testdata/Builtins.lc 107:14-107:17  Float
testdata/Builtins.lc 108:13-108:16  Float
testdata/Builtins.lc 109:26-109:31  Type
testdata/Builtins.lc 109:26-118:24  Type
testdata/Builtins.lc 109:26-128:40  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 109:26-129:35  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 110:14-110:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 110:14-110:20  Float -> VecS Float 2
testdata/Builtins.lc 110:14-110:24  VecS Float 2
testdata/Builtins.lc 110:14-116:32  a:Nat -> {b : Component (VecS Float ('Succ ('Succ a)))} -> VecS Float ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Float ('Succ a))} -> VecS Float ('Succ a)
testdata/Builtins.lc 110:14-128:40  a:Nat -> {b : Component (VecS V1 a)} -> VecS V2 a | a:Type -> b:Nat -> {c : Component (VecS a b)} -> VecS a b | {a : Component (VecS V1 V0)} -> VecS V2 V1
testdata/Builtins.lc 110:17-110:20  Float
testdata/Builtins.lc 110:21-110:24  Float
testdata/Builtins.lc 111:13-111:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 111:13-111:19  Float -> VecS Float 2
testdata/Builtins.lc 111:13-111:23  VecS Float 2
testdata/Builtins.lc 111:13-117:31  a:Nat -> {b : Component (VecS Float ('Succ ('Succ a)))} -> VecS Float ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Float ('Succ a))} -> VecS Float ('Succ a)
testdata/Builtins.lc 111:13-129:35  a:Nat -> {b : Component (VecS V1 a)} -> VecS V2 a | a:Type -> b:Nat -> {c : Component (VecS a b)} -> VecS a b | {a : Component (VecS V1 V0)} -> VecS V2 V1
testdata/Builtins.lc 111:16-111:19  Float
testdata/Builtins.lc 111:20-111:23  Float
testdata/Builtins.lc 113:14-113:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 113:14-113:20  Float -> Float -> VecS Float 3
testdata/Builtins.lc 113:14-113:24  Float -> VecS Float 3
testdata/Builtins.lc 113:14-113:28  VecS Float 3
testdata/Builtins.lc 113:14-116:32  a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ a))))} -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 113:17-113:20  Float
testdata/Builtins.lc 113:21-113:24  Float
testdata/Builtins.lc 113:25-113:28  Float
testdata/Builtins.lc 114:13-114:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 114:13-114:19  Float -> Float -> VecS Float 3
testdata/Builtins.lc 114:13-114:23  Float -> VecS Float 3
testdata/Builtins.lc 114:13-114:27  VecS Float 3
testdata/Builtins.lc 114:13-117:31  a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ a))))} -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 114:16-114:19  Float
testdata/Builtins.lc 114:20-114:23  Float
testdata/Builtins.lc 114:24-114:27  Float
testdata/Builtins.lc 116:14-116:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 116:14-116:20  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:24  Float -> Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:28  Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:32  VecS Float 4 | a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 116:17-116:20  Float
testdata/Builtins.lc 116:21-116:24  Float
testdata/Builtins.lc 116:25-116:28  Float
testdata/Builtins.lc 116:29-116:32  Float
testdata/Builtins.lc 117:13-117:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 117:13-117:19  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:23  Float -> Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:27  Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:31  VecS Float 4 | a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 117:16-117:19  Float
testdata/Builtins.lc 117:20-117:23  Float
testdata/Builtins.lc 117:24-117:27  Float
testdata/Builtins.lc 117:28-117:31  Float
testdata/Builtins.lc 118:20-118:24  Type
testdata/Builtins.lc 118:20-119:19  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 118:20-120:17  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 119:14-119:19  Bool
testdata/Builtins.lc 120:13-120:17  Bool
testdata/Builtins.lc 122:14-122:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 122:14-122:22  Bool -> VecS Bool 2
testdata/Builtins.lc 122:14-122:28  VecS Bool 2
testdata/Builtins.lc 122:14-128:40  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ a)))} -> VecS Bool ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Bool ('Succ a))} -> VecS Bool ('Succ a)
testdata/Builtins.lc 122:17-122:22  Bool
testdata/Builtins.lc 122:23-122:28  Bool
testdata/Builtins.lc 123:13-123:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 123:13-123:20  Bool -> VecS Bool 2
testdata/Builtins.lc 123:13-123:25  VecS Bool 2
testdata/Builtins.lc 123:13-129:35  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ a)))} -> VecS Bool ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Bool ('Succ a))} -> VecS Bool ('Succ a)
testdata/Builtins.lc 123:16-123:20  Bool
testdata/Builtins.lc 123:21-123:25  Bool
testdata/Builtins.lc 125:14-125:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 125:14-125:22  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 125:14-125:28  Bool -> VecS Bool 3
testdata/Builtins.lc 125:14-125:34  VecS Bool 3
testdata/Builtins.lc 125:14-128:40  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ a))))} -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 125:17-125:22  Bool
testdata/Builtins.lc 125:23-125:28  Bool
testdata/Builtins.lc 125:29-125:34  Bool
testdata/Builtins.lc 126:13-126:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 126:13-126:20  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 126:13-126:25  Bool -> VecS Bool 3
testdata/Builtins.lc 126:13-126:30  VecS Bool 3
testdata/Builtins.lc 126:13-129:35  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ a))))} -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 126:16-126:20  Bool
testdata/Builtins.lc 126:21-126:25  Bool
testdata/Builtins.lc 126:26-126:30  Bool
testdata/Builtins.lc 128:14-128:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 128:14-128:22  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:28  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:34  Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:40  VecS Bool 4 | a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 128:17-128:22  Bool
testdata/Builtins.lc 128:23-128:28  Bool
testdata/Builtins.lc 128:29-128:34  Bool
testdata/Builtins.lc 128:35-128:40  Bool
testdata/Builtins.lc 129:13-129:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 129:13-129:20  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:25  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:30  Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:35  VecS Bool 4 | a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 129:16-129:20  Bool
testdata/Builtins.lc 129:21-129:25  Bool
testdata/Builtins.lc 129:26-129:30  Bool
testdata/Builtins.lc 129:31-129:35  Bool
testdata/Builtins.lc 131:7-131:15  Type->Type
testdata/Builtins.lc 133:25-133:28  Type
testdata/Builtins.lc 133:25-134:29  Type | Type->Type
testdata/Builtins.lc 134:25-134:29  Type
testdata/Builtins.lc 136:7-136:15  Type->Type
testdata/Builtins.lc 138:25-138:30  Type
testdata/Builtins.lc 138:25-142:39  Type | Type->Type
testdata/Builtins.lc 139:31-139:36  Type
testdata/Builtins.lc 139:31-142:39  Type
testdata/Builtins.lc 142:34-142:39  Type
testdata/Builtins.lc 152:6-152:20  Type
testdata/Builtins.lc 152:6-167:23  Type
testdata/Builtins.lc 153:7-153:12  BlendingFactor
testdata/Builtins.lc 154:7-154:10  BlendingFactor
testdata/Builtins.lc 155:7-155:15  BlendingFactor
testdata/Builtins.lc 156:7-156:23  BlendingFactor
testdata/Builtins.lc 157:7-157:15  BlendingFactor
testdata/Builtins.lc 158:7-158:23  BlendingFactor
testdata/Builtins.lc 159:7-159:15  BlendingFactor
testdata/Builtins.lc 160:7-160:23  BlendingFactor
testdata/Builtins.lc 161:7-161:15  BlendingFactor
testdata/Builtins.lc 162:7-162:23  BlendingFactor
testdata/Builtins.lc 163:7-163:20  BlendingFactor
testdata/Builtins.lc 164:7-164:28  BlendingFactor
testdata/Builtins.lc 165:7-165:20  BlendingFactor
testdata/Builtins.lc 166:7-166:28  BlendingFactor
testdata/Builtins.lc 167:7-167:23  BlendingFactor
testdata/Builtins.lc 169:6-169:19  Type
testdata/Builtins.lc 169:6-174:10  Type
testdata/Builtins.lc 170:7-170:14  BlendEquation
testdata/Builtins.lc 171:7-171:19  BlendEquation
testdata/Builtins.lc 172:7-172:26  BlendEquation
testdata/Builtins.lc 173:7-173:10  BlendEquation
testdata/Builtins.lc 174:7-174:10  BlendEquation
testdata/Builtins.lc 176:6-176:20  Type
testdata/Builtins.lc 176:6-192:10  Type
testdata/Builtins.lc 177:7-177:12  LogicOperation
testdata/Builtins.lc 178:7-178:10  LogicOperation
testdata/Builtins.lc 179:7-179:17  LogicOperation
testdata/Builtins.lc 180:7-180:11  LogicOperation
testdata/Builtins.lc 181:7-181:18  LogicOperation
testdata/Builtins.lc 182:7-182:11  LogicOperation
testdata/Builtins.lc 183:7-183:10  LogicOperation
testdata/Builtins.lc 184:7-184:9  LogicOperation
testdata/Builtins.lc 185:7-185:10  LogicOperation
testdata/Builtins.lc 186:7-186:12  LogicOperation
testdata/Builtins.lc 187:7-187:13  LogicOperation
testdata/Builtins.lc 188:7-188:16  LogicOperation
testdata/Builtins.lc 189:7-189:19  LogicOperation
testdata/Builtins.lc 190:7-190:17  LogicOperation
testdata/Builtins.lc 191:7-191:11  LogicOperation
testdata/Builtins.lc 192:7-192:10  LogicOperation
testdata/Builtins.lc 194:6-194:22  Type
testdata/Builtins.lc 194:6-202:15  Type
testdata/Builtins.lc 195:7-195:13  StencilOperation
testdata/Builtins.lc 196:7-196:13  StencilOperation
testdata/Builtins.lc 197:7-197:16  StencilOperation
testdata/Builtins.lc 198:7-198:13  StencilOperation
testdata/Builtins.lc 199:7-199:17  StencilOperation
testdata/Builtins.lc 200:7-200:13  StencilOperation
testdata/Builtins.lc 201:7-201:17  StencilOperation
testdata/Builtins.lc 202:7-202:15  StencilOperation
testdata/Builtins.lc 204:6-204:24  Type
testdata/Builtins.lc 204:6-212:13  Type
testdata/Builtins.lc 205:7-205:12  ComparisonFunction
testdata/Builtins.lc 206:7-206:11  ComparisonFunction
testdata/Builtins.lc 207:7-207:12  ComparisonFunction
testdata/Builtins.lc 208:7-208:13  ComparisonFunction
testdata/Builtins.lc 209:7-209:14  ComparisonFunction
testdata/Builtins.lc 210:7-210:15  ComparisonFunction
testdata/Builtins.lc 211:7-211:13  ComparisonFunction
testdata/Builtins.lc 212:7-212:13  ComparisonFunction
testdata/Builtins.lc 214:6-214:21  Type
testdata/Builtins.lc 214:6-216:18  Type
testdata/Builtins.lc 215:7-215:17  ProvokingVertex
testdata/Builtins.lc 216:7-216:18  ProvokingVertex
testdata/Builtins.lc 218:6-218:14  Type
testdata/Builtins.lc 218:6-221:15  Type
testdata/Builtins.lc 219:7-219:16  CullMode
testdata/Builtins.lc 220:7-220:15  CullMode
testdata/Builtins.lc 221:7-221:15  CullMode
testdata/Builtins.lc 223:6-223:15  Type | Type->Type
testdata/Builtins.lc 223:6-224:22  Type
testdata/Builtins.lc 223:6-225:23  Type
testdata/Builtins.lc 223:6-225:36  Type
testdata/Builtins.lc 224:7-224:16  PointSize V2 | Type | {a} -> Float -> PointSize a
testdata/Builtins.lc 224:17-224:22  Type
testdata/Builtins.lc 225:7-225:23  PointSize V3 | Type | {a} -> a->Float -> PointSize a
testdata/Builtins.lc 225:25-225:26  Type
testdata/Builtins.lc 225:30-225:35  Type
testdata/Builtins.lc 227:6-227:17  Type | Type->Type
testdata/Builtins.lc 227:6-229:33  Type
testdata/Builtins.lc 227:6-230:18  Type
testdata/Builtins.lc 227:6-230:24  Type
testdata/Builtins.lc 228:7-228:18  PolygonMode V1 | {a} -> PolygonMode a
testdata/Builtins.lc 229:7-229:19  PolygonMode V3 | Type | {a} -> PointSize a -> PolygonMode a
testdata/Builtins.lc 229:20-229:33  Type
testdata/Builtins.lc 229:21-229:30  Type->Type
testdata/Builtins.lc 229:31-229:32  Type
testdata/Builtins.lc 230:7-230:18  PolygonMode V4 | Type | {a} -> Float -> PolygonMode a
testdata/Builtins.lc 230:19-230:24  Type
testdata/Builtins.lc 232:6-232:19  Type
testdata/Builtins.lc 232:6-234:13  Type
testdata/Builtins.lc 232:6-234:25  Type
testdata/Builtins.lc 233:7-233:15  PolygonOffset
testdata/Builtins.lc 234:7-234:13  Float -> Float->PolygonOffset | PolygonOffset | Type
testdata/Builtins.lc 234:14-234:19  Type
testdata/Builtins.lc 234:20-234:25  Type
testdata/Builtins.lc 236:6-236:28  Type
testdata/Builtins.lc 236:6-238:16  Type
testdata/Builtins.lc 237:7-237:16  PointSpriteCoordOrigin
testdata/Builtins.lc 238:7-238:16  PointSpriteCoordOrigin
testdata/Builtins.lc 241:6-241:11  Type | Type->Type
testdata/Builtins.lc 242:6-242:13  Type | Type->Type
testdata/Builtins.lc 243:6-243:11  Type | Type->Type
testdata/Builtins.lc 245:6-245:19  Type
testdata/Builtins.lc 245:6-250:20  Type
testdata/Builtins.lc 246:7-246:15  PrimitiveType
testdata/Builtins.lc 247:7-247:11  PrimitiveType
testdata/Builtins.lc 248:7-248:12  PrimitiveType
testdata/Builtins.lc 249:7-249:24  PrimitiveType
testdata/Builtins.lc 250:7-250:20  PrimitiveType
testdata/Builtins.lc 253:1-253:12  Tuple0 -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 253:16-253:18  Type
testdata/Builtins.lc 253:22-253:25  Nat -> Type->Type
testdata/Builtins.lc 253:22-253:27  Type->Type
testdata/Builtins.lc 253:22-253:33  Type
testdata/Builtins.lc 253:22-253:48  Type
testdata/Builtins.lc 253:26-253:27  V1
testdata/Builtins.lc 253:28-253:33  Type
testdata/Builtins.lc 253:37-253:40  Nat -> Type->Type
testdata/Builtins.lc 253:37-253:42  Type->Type
testdata/Builtins.lc 253:37-253:48  Type
testdata/Builtins.lc 253:41-253:42  V1
testdata/Builtins.lc 253:43-253:48  Type
testdata/Builtins.lc 256:1-256:8  {a} -> String->a
testdata/Builtins.lc 256:14-256:20  Type
testdata/Builtins.lc 256:14-256:25  Type
testdata/Builtins.lc 256:24-256:25  Type | V2
testdata/Builtins.lc 257:1-257:10  {a} -> String->a
testdata/Builtins.lc 257:14-257:20  Type
testdata/Builtins.lc 257:14-257:25  Type
testdata/Builtins.lc 257:24-257:25  Type | V2
testdata/Builtins.lc 259:6-259:19  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 259:6-262:111  Type
testdata/Builtins.lc 259:25-259:38  Type
testdata/Builtins.lc 259:25-259:46  Type
testdata/Builtins.lc 259:42-259:46  Type
testdata/Builtins.lc 260:3-260:14  RasterContext V5 'Triangle | {a} -> CullMode -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
testdata/Builtins.lc 260:3-260:115  Type
testdata/Builtins.lc 260:26-260:34  Type
testdata/Builtins.lc 260:26-260:115  Type
testdata/Builtins.lc 260:38-260:49  Type->Type
testdata/Builtins.lc 260:38-260:51  Type
testdata/Builtins.lc 260:38-260:115  Type
testdata/Builtins.lc 260:50-260:51  Type
testdata/Builtins.lc 260:55-260:68  Type
testdata/Builtins.lc 260:55-260:115  Type
testdata/Builtins.lc 260:72-260:87  Type
testdata/Builtins.lc 260:72-260:115  Type
testdata/Builtins.lc 260:91-260:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 260:91-260:106  PrimitiveType->Type
testdata/Builtins.lc 260:91-260:115  Type
testdata/Builtins.lc 260:105-260:106  Type
testdata/Builtins.lc 260:107-260:115  PrimitiveType
testdata/Builtins.lc 261:3-261:11  RasterContext V5 'Point | {a} -> PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point
testdata/Builtins.lc 261:3-261:112  Type
testdata/Builtins.lc 261:26-261:35  Type->Type
testdata/Builtins.lc 261:26-261:37  Type
testdata/Builtins.lc 261:26-261:112  Type
testdata/Builtins.lc 261:36-261:37  Type
testdata/Builtins.lc 261:41-261:46  Type
testdata/Builtins.lc 261:41-261:112  Type
testdata/Builtins.lc 261:50-261:72  Type
testdata/Builtins.lc 261:50-261:112  Type
testdata/Builtins.lc 261:91-261:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 261:91-261:106  PrimitiveType->Type
testdata/Builtins.lc 261:91-261:112  Type
testdata/Builtins.lc 261:105-261:106  Type
testdata/Builtins.lc 261:107-261:112  PrimitiveType
testdata/Builtins.lc 262:3-262:10  RasterContext V5 'Line | {a} -> Float -> ProvokingVertex -> RasterContext a 'Line
testdata/Builtins.lc 262:3-262:111  Type
testdata/Builtins.lc 262:26-262:31  Type
testdata/Builtins.lc 262:26-262:111  Type
testdata/Builtins.lc 262:35-262:50  Type
testdata/Builtins.lc 262:35-262:111  Type
testdata/Builtins.lc 262:91-262:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 262:91-262:106  PrimitiveType->Type
testdata/Builtins.lc 262:91-262:111  Type
testdata/Builtins.lc 262:105-262:106  Type
testdata/Builtins.lc 262:107-262:111  PrimitiveType
testdata/Builtins.lc 266:5-266:12  Type->Type
testdata/Builtins.lc 266:14-266:15  Type
testdata/Builtins.lc 266:14-266:20  Type->Type
testdata/Builtins.lc 266:14-267:32  Type | Type->Type
testdata/Builtins.lc 266:19-266:20  Type | Type->Type
testdata/Builtins.lc 267:15-267:21  Type
testdata/Builtins.lc 267:15-267:32  Type->Type
testdata/Builtins.lc 267:26-267:32  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 267:27-267:28  Type
testdata/Builtins.lc 267:30-267:31  Type
testdata/Builtins.lc 269:6-269:14  Type | Type->Type
testdata/Builtins.lc 269:6-274:74  Type
testdata/Builtins.lc 269:18-269:22  Type
testdata/Builtins.lc 269:26-269:30  Type
testdata/Builtins.lc 270:3-270:13  Blending V0 | {a} -> Blending a
testdata/Builtins.lc 270:3-270:70  Type
testdata/Builtins.lc 270:60-270:68  Type->Type
testdata/Builtins.lc 270:60-270:70  Type
testdata/Builtins.lc 270:69-270:70  Type | V1
testdata/Builtins.lc 271:3-271:15  Blending V2 | {a} -> {b : Integral a} -> LogicOperation -> Blending a
testdata/Builtins.lc 271:3-271:70  Type
testdata/Builtins.lc 271:26-271:38  Type
testdata/Builtins.lc 271:26-271:70  Type
testdata/Builtins.lc 271:27-271:35  Type->Type
testdata/Builtins.lc 271:36-271:37  V1
testdata/Builtins.lc 271:42-271:56  Type
testdata/Builtins.lc 271:42-271:70  Type
testdata/Builtins.lc 271:60-271:68  Type->Type
testdata/Builtins.lc 271:60-271:70  Type
testdata/Builtins.lc 271:69-271:70  Type
testdata/Builtins.lc 272:3-272:8  Blending Float | Tuple2 BlendEquation BlendEquation -> Tuple2 (Tuple2 BlendingFactor BlendingFactor) (Tuple2 BlendingFactor BlendingFactor) -> VecS Float 4 -> Blending Float
testdata/Builtins.lc 272:3-274:74  Type
testdata/Builtins.lc 272:26-272:56  Type
testdata/Builtins.lc 272:27-272:40  Type
testdata/Builtins.lc 272:42-272:55  Type
testdata/Builtins.lc 273:29-273:97  Type
testdata/Builtins.lc 273:29-274:74  Type
testdata/Builtins.lc 273:30-273:62  Type
testdata/Builtins.lc 273:31-273:45  Type
testdata/Builtins.lc 273:47-273:61  Type
testdata/Builtins.lc 273:64-273:96  Type
testdata/Builtins.lc 273:65-273:79  Type
testdata/Builtins.lc 273:81-273:95  Type
testdata/Builtins.lc 274:29-274:32  Nat -> Type->Type
testdata/Builtins.lc 274:29-274:34  Type->Type
testdata/Builtins.lc 274:29-274:40  Type
testdata/Builtins.lc 274:29-274:74  Type
testdata/Builtins.lc 274:33-274:34  V1
testdata/Builtins.lc 274:35-274:40  Type
testdata/Builtins.lc 274:60-274:68  Type->Type
testdata/Builtins.lc 274:60-274:74  Type
testdata/Builtins.lc 274:69-274:74  Type
testdata/Builtins.lc 281:6-281:18  Type
testdata/Builtins.lc 282:6-282:16  Type
testdata/Builtins.lc 283:6-283:11  Type
testdata/Builtins.lc 285:6-285:23  Type | Type->Type
testdata/Builtins.lc 285:6-289:104  Type
testdata/Builtins.lc 285:27-285:31  Type
testdata/Builtins.lc 285:35-285:39  Type
testdata/Builtins.lc 286:3-286:10  FragmentOperation (Color V6) | {a} -> {b:Nat} -> {c} -> {d} -> {e : a ~ VecScalar b Bool} -> {f : c ~ VecScalar b d} -> {g : Num d} -> Blending d -> a -> FragmentOperation (Color c)
testdata/Builtins.lc 286:3-287:102  Type
testdata/Builtins.lc 286:26-287:102  Type
testdata/Builtins.lc 286:27-286:31  V7
testdata/Builtins.lc 286:27-286:33  Type->Type
testdata/Builtins.lc 286:27-286:50  Type
testdata/Builtins.lc 286:32-286:33  Type -> Type->Type
testdata/Builtins.lc 286:34-286:43  Nat -> Type->Type
testdata/Builtins.lc 286:34-286:45  Type->Type
testdata/Builtins.lc 286:34-286:50  Type
testdata/Builtins.lc 286:44-286:45  V5
testdata/Builtins.lc 286:46-286:50  Type
testdata/Builtins.lc 286:52-286:57  V4
testdata/Builtins.lc 286:52-286:59  Type->Type
testdata/Builtins.lc 286:52-286:73  Type
testdata/Builtins.lc 286:52-287:102  Type
testdata/Builtins.lc 286:58-286:59  Type -> Type->Type
testdata/Builtins.lc 286:60-286:69  Nat -> Type->Type
testdata/Builtins.lc 286:60-286:71  Type->Type
testdata/Builtins.lc 286:60-286:73  Type
testdata/Builtins.lc 286:70-286:71  Nat
testdata/Builtins.lc 286:72-286:73  V2
testdata/Builtins.lc 286:75-286:78  Type->Type
testdata/Builtins.lc 286:75-286:80  Type
testdata/Builtins.lc 286:75-287:102  Type
testdata/Builtins.lc 286:79-286:80  Type
testdata/Builtins.lc 286:85-286:93  Type->Type
testdata/Builtins.lc 286:85-286:95  Type
testdata/Builtins.lc 286:85-287:102  Type
testdata/Builtins.lc 286:94-286:95  Type
testdata/Builtins.lc 286:99-286:103  Type
testdata/Builtins.lc 286:99-287:102  Type
testdata/Builtins.lc 287:71-287:88  Type->Type
testdata/Builtins.lc 287:71-287:102  Type
testdata/Builtins.lc 287:89-287:102  Type
testdata/Builtins.lc 287:90-287:95  Type->Type
testdata/Builtins.lc 287:96-287:101  Type
testdata/Builtins.lc 288:3-288:10  ComparisonFunction -> Bool -> FragmentOperation (Depth Float) | FragmentOperation (Depth Float)
testdata/Builtins.lc 288:3-288:102  Type
testdata/Builtins.lc 288:26-288:44  Type
testdata/Builtins.lc 288:48-288:52  Type
testdata/Builtins.lc 288:48-288:102  Type
testdata/Builtins.lc 288:71-288:88  Type->Type
testdata/Builtins.lc 288:71-288:102  Type
testdata/Builtins.lc 288:89-288:102  Type
testdata/Builtins.lc 288:90-288:95  Type->Type
testdata/Builtins.lc 288:96-288:101  Type
testdata/Builtins.lc 289:3-289:12  FragmentOperation (Stencil Int32) | StencilTests -> StencilOps -> StencilOps -> FragmentOperation (Stencil Int32)
testdata/Builtins.lc 289:3-289:104  Type
testdata/Builtins.lc 289:26-289:38  Type
testdata/Builtins.lc 289:42-289:52  Type
testdata/Builtins.lc 289:42-289:104  Type
testdata/Builtins.lc 289:56-289:66  Type
testdata/Builtins.lc 289:56-289:104  Type
testdata/Builtins.lc 289:71-289:88  Type->Type
testdata/Builtins.lc 289:71-289:104  Type
testdata/Builtins.lc 289:89-289:104  Type
testdata/Builtins.lc 289:90-289:97  Type->Type
testdata/Builtins.lc 289:98-289:103  Type
testdata/Builtins.lc 299:5-299:13  Type->Type
testdata/Builtins.lc 299:15-299:21  Type
testdata/Builtins.lc 299:15-299:69  Type->Type
testdata/Builtins.lc 299:15-303:39  Type | Type->Type
testdata/Builtins.lc 299:25-299:69  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 299:26-299:43  Type->Type
testdata/Builtins.lc 299:26-299:46  Type
testdata/Builtins.lc 299:44-299:46  Type
testdata/Builtins.lc 299:48-299:65  Type->Type
testdata/Builtins.lc 299:48-299:68  Type
testdata/Builtins.lc 299:66-299:68  Type
testdata/Builtins.lc 300:15-300:25  Type
testdata/Builtins.lc 300:15-300:95  Type->Type
testdata/Builtins.lc 300:15-303:39  Type
testdata/Builtins.lc 300:29-300:95  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 300:30-300:47  Type->Type
testdata/Builtins.lc 300:30-300:50  Type
testdata/Builtins.lc 300:30-300:72  Type->Type
testdata/Builtins.lc 300:48-300:50  Type
testdata/Builtins.lc 300:52-300:69  Type->Type
testdata/Builtins.lc 300:52-300:72  Type
testdata/Builtins.lc 300:70-300:72  Type
testdata/Builtins.lc 300:74-300:91  Type->Type
testdata/Builtins.lc 300:74-300:94  Type
testdata/Builtins.lc 300:92-300:94  Type
testdata/Builtins.lc 301:15-301:29  Type
testdata/Builtins.lc 301:15-301:122  Type->Type
testdata/Builtins.lc 301:15-303:39  Type
testdata/Builtins.lc 301:34-301:122  Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 301:35-301:52  Type->Type
testdata/Builtins.lc 301:35-301:55  Type
testdata/Builtins.lc 301:35-301:77  Type -> Type->Type
testdata/Builtins.lc 301:35-301:99  Type->Type
testdata/Builtins.lc 301:53-301:55  Type
testdata/Builtins.lc 301:57-301:74  Type->Type
testdata/Builtins.lc 301:57-301:77  Type
testdata/Builtins.lc 301:75-301:77  Type
testdata/Builtins.lc 301:79-301:96  Type->Type
testdata/Builtins.lc 301:79-301:99  Type
testdata/Builtins.lc 301:97-301:99  Type
testdata/Builtins.lc 301:101-301:118  Type->Type
testdata/Builtins.lc 301:101-301:121  Type
testdata/Builtins.lc 301:119-301:121  Type
testdata/Builtins.lc 302:15-302:33  Type
testdata/Builtins.lc 302:15-302:148  Type->Type
testdata/Builtins.lc 302:15-303:39  Type
testdata/Builtins.lc 302:38-302:148  Type | Type -> Type -> Type -> Type -> Type->Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 302:39-302:56  Type->Type
testdata/Builtins.lc 302:39-302:59  Type
testdata/Builtins.lc 302:39-302:81  Type -> Type -> Type->Type
testdata/Builtins.lc 302:39-302:103  Type -> Type->Type
testdata/Builtins.lc 302:39-302:125  Type->Type
testdata/Builtins.lc 302:57-302:59  Type
testdata/Builtins.lc 302:61-302:78  Type->Type
testdata/Builtins.lc 302:61-302:81  Type
testdata/Builtins.lc 302:79-302:81  Type
testdata/Builtins.lc 302:83-302:100  Type->Type
testdata/Builtins.lc 302:83-302:103  Type
testdata/Builtins.lc 302:101-302:103  Type
testdata/Builtins.lc 302:105-302:122  Type->Type
testdata/Builtins.lc 302:105-302:125  Type
testdata/Builtins.lc 302:123-302:125  Type
testdata/Builtins.lc 302:127-302:144  Type->Type
testdata/Builtins.lc 302:127-302:147  Type
testdata/Builtins.lc 302:145-302:147  Type
testdata/Builtins.lc 303:18-303:39  Type
testdata/Builtins.lc 303:19-303:36  Type->Type
testdata/Builtins.lc 303:37-303:38  Type
testdata/Builtins.lc 305:6-305:8  {a} -> List a -> List a -> List a
testdata/Builtins.lc 305:14-305:16  V3
testdata/Builtins.lc 305:14-306:26  List V0 -> List V1 | V0->V1
testdata/Builtins.lc 306:14-306:15  V3
testdata/Builtins.lc 306:14-306:17  List V2 -> List V3
testdata/Builtins.lc 306:14-306:26  List V1 -> V4 | List V2 | V0 -> List V1 -> V4
testdata/Builtins.lc 306:16-306:17  {a} -> a -> List a -> List a
testdata/Builtins.lc 306:18-306:20  List V5
testdata/Builtins.lc 306:21-306:23  V7
testdata/Builtins.lc 306:24-306:26  List V6
testdata/Builtins.lc 308:1-308:6  {a} -> {b} -> (b -> a->a) -> a -> List b -> a
testdata/Builtins.lc 308:16-308:17  V5
testdata/Builtins.lc 308:16-309:39  List V1 -> V6 | V0->V1
testdata/Builtins.lc 309:21-309:22  V8
testdata/Builtins.lc 309:21-309:39  List V1 -> V6 | V0 -> List V1 -> V6
testdata/Builtins.lc 309:23-309:24  V5
testdata/Builtins.lc 309:26-309:31  V13
testdata/Builtins.lc 309:32-309:33  V9->V7
testdata/Builtins.lc 309:34-309:35  V14
testdata/Builtins.lc 309:36-309:38  List V10
testdata/Builtins.lc 311:1-311:7  {a} -> List (List a) -> List a
testdata/Builtins.lc 311:10-311:15  {a} -> {b} -> (b -> a->a) -> a -> List b -> a
testdata/Builtins.lc 311:10-311:20  List V0 -> List (List V1) -> List V2
testdata/Builtins.lc 311:10-311:23  List (List V0) -> List V1
testdata/Builtins.lc 311:16-311:20  {a} -> List a -> List a -> List a
testdata/Builtins.lc 311:21-311:23  {a} -> List a
testdata/Builtins.lc 313:1-313:4  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 313:16-313:18  {a} -> List a
testdata/Builtins.lc 313:16-314:30  List V1 -> List V1 | V0->V1
testdata/Builtins.lc 314:16-314:17  V8
testdata/Builtins.lc 314:16-314:21  List V0 -> List V1
testdata/Builtins.lc 314:16-314:30  List V2 | List V2 -> List V2 | V1 -> List V2 -> List V2
testdata/Builtins.lc 314:18-314:19  V7
testdata/Builtins.lc 314:20-314:21  {a} -> a -> List a -> List a
testdata/Builtins.lc 314:22-314:25  V8
testdata/Builtins.lc 314:26-314:27  V6->V6
testdata/Builtins.lc 314:28-314:30  List V7
testdata/Builtins.lc 316:14-316:38  Type
testdata/Builtins.lc 316:15-316:16  V3
testdata/Builtins.lc 316:20-316:23  Type
testdata/Builtins.lc 316:21-316:22  V2
testdata/Builtins.lc 316:28-316:38  Type
testdata/Builtins.lc 316:29-316:30  Type
testdata/Builtins.lc 316:35-316:38  Type
testdata/Builtins.lc 316:36-316:37  Type
testdata/Builtins.lc 317:1-317:10  {a} -> {b} -> (a -> List b) -> List a -> List b
testdata/Builtins.lc 317:17-317:23  {a} -> List (List a) -> List a
testdata/Builtins.lc 317:17-317:33  (V1 -> List V1) -> List V2 -> List V2 | List V2 | List V2 -> List V2
testdata/Builtins.lc 317:24-317:33  List (List V2)
testdata/Builtins.lc 317:25-317:28  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 317:25-317:30  List V4 -> List (List V4)
testdata/Builtins.lc 317:29-317:30  V6 -> List V6
testdata/Builtins.lc 317:31-317:32  List V3
testdata/Builtins.lc 319:6-319:15  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 319:6-322:56  Type
testdata/Builtins.lc 319:21-319:34  Type
testdata/Builtins.lc 319:21-319:42  Type
testdata/Builtins.lc 319:38-319:42  Type
testdata/Builtins.lc 320:5-320:14  Primitive V2 'Point | {a} -> a -> Primitive a 'Point
testdata/Builtins.lc 320:5-320:53  Type
testdata/Builtins.lc 320:21-320:22  Type
testdata/Builtins.lc 320:21-320:53  Type
testdata/Builtins.lc 320:36-320:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 320:36-320:47  PrimitiveType->Type
testdata/Builtins.lc 320:36-320:53  Type
testdata/Builtins.lc 320:46-320:47  Type
testdata/Builtins.lc 320:48-320:53  PrimitiveType
testdata/Builtins.lc 321:5-321:13  Primitive V4 'Line | {a} -> a -> a -> Primitive a 'Line
testdata/Builtins.lc 321:5-321:52  Type
testdata/Builtins.lc 321:21-321:22  Type
testdata/Builtins.lc 321:21-321:52  Type
testdata/Builtins.lc 321:26-321:27  Type
testdata/Builtins.lc 321:26-321:52  Type
testdata/Builtins.lc 321:36-321:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 321:36-321:47  PrimitiveType->Type
testdata/Builtins.lc 321:36-321:52  Type
testdata/Builtins.lc 321:46-321:47  Type
testdata/Builtins.lc 321:48-321:52  PrimitiveType
testdata/Builtins.lc 322:5-322:17  Primitive V6 'Triangle | {a} -> a -> a -> a -> Primitive a 'Triangle
testdata/Builtins.lc 322:5-322:56  Type
testdata/Builtins.lc 322:21-322:22  Type
testdata/Builtins.lc 322:21-322:56  Type
testdata/Builtins.lc 322:26-322:27  Type
testdata/Builtins.lc 322:26-322:56  Type
testdata/Builtins.lc 322:31-322:32  Type
testdata/Builtins.lc 322:31-322:56  Type
testdata/Builtins.lc 322:36-322:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 322:36-322:47  PrimitiveType->Type
testdata/Builtins.lc 322:36-322:56  Type
testdata/Builtins.lc 322:46-322:47  Type
testdata/Builtins.lc 322:48-322:56  PrimitiveType
testdata/Builtins.lc 324:6-324:21  PrimitiveType -> Type->Type
testdata/Builtins.lc 324:29-324:38  Type -> PrimitiveType->Type
testdata/Builtins.lc 324:29-324:40  PrimitiveType->Type
testdata/Builtins.lc 324:29-324:42  Type
testdata/Builtins.lc 324:39-324:40  V1
testdata/Builtins.lc 324:41-324:42  V2
testdata/Builtins.lc 326:1-326:13  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 326:17-326:59  Type
testdata/Builtins.lc 326:18-326:19  V5
testdata/Builtins.lc 326:23-326:24  Type | V4
testdata/Builtins.lc 326:29-326:38  Type -> PrimitiveType->Type
testdata/Builtins.lc 326:29-326:40  PrimitiveType->Type
testdata/Builtins.lc 326:29-326:42  Type
testdata/Builtins.lc 326:29-326:59  Type
testdata/Builtins.lc 326:39-326:40  Type
testdata/Builtins.lc 326:41-326:42  V2
testdata/Builtins.lc 326:46-326:55  Type -> PrimitiveType->Type
testdata/Builtins.lc 326:46-326:57  PrimitiveType->Type
testdata/Builtins.lc 326:46-326:59  Type
testdata/Builtins.lc 326:56-326:57  Type
testdata/Builtins.lc 326:58-326:59  PrimitiveType
testdata/Builtins.lc 333:1-333:7  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> List (Primitive b a)
testdata/Builtins.lc 333:38-333:56  Type
testdata/Builtins.lc 333:38-333:94  Type
testdata/Builtins.lc 333:39-333:53  Type->Type
testdata/Builtins.lc 333:54-333:55  V1
testdata/Builtins.lc 333:60-333:66  Type
testdata/Builtins.lc 333:60-333:94  Type
testdata/Builtins.lc 333:70-333:71  Type
testdata/Builtins.lc 333:70-333:94  Type
testdata/Builtins.lc 333:75-333:90  PrimitiveType -> Type->Type
testdata/Builtins.lc 333:75-333:92  Type->Type
testdata/Builtins.lc 333:75-333:94  Type
testdata/Builtins.lc 333:91-333:92  V5
testdata/Builtins.lc 333:93-333:94  Type
testdata/Builtins.lc 334:1-334:13  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> List (Primitive b a)
testdata/Builtins.lc 334:41-334:104  Type
testdata/Builtins.lc 334:42-334:56  Type->Type
testdata/Builtins.lc 334:42-334:58  Type
testdata/Builtins.lc 334:57-334:58  V3
testdata/Builtins.lc 334:60-334:61  Type
testdata/Builtins.lc 334:60-334:63  Type->Type
testdata/Builtins.lc 334:60-334:74  Type
testdata/Builtins.lc 334:60-334:104  Type
testdata/Builtins.lc 334:62-334:63  Type -> Type->Type
testdata/Builtins.lc 334:64-334:71  Type->Type
testdata/Builtins.lc 334:64-334:74  Type
testdata/Builtins.lc 334:72-334:74  V2
testdata/Builtins.lc 334:79-334:81  Type
testdata/Builtins.lc 334:79-334:104  Type
testdata/Builtins.lc 334:85-334:100  PrimitiveType -> Type->Type
testdata/Builtins.lc 334:85-334:102  Type->Type
testdata/Builtins.lc 334:85-334:104  Type
testdata/Builtins.lc 334:101-334:102  V6
testdata/Builtins.lc 334:103-334:104  Type
testdata/Builtins.lc 336:18-336:74  Type
testdata/Builtins.lc 336:19-336:21  V5
testdata/Builtins.lc 336:25-336:26  Type | V4
testdata/Builtins.lc 336:31-336:46  PrimitiveType -> Type->Type
testdata/Builtins.lc 336:31-336:48  Type->Type
testdata/Builtins.lc 336:31-336:51  Type
testdata/Builtins.lc 336:31-336:74  Type
testdata/Builtins.lc 336:47-336:48  V2
testdata/Builtins.lc 336:49-336:51  Type
testdata/Builtins.lc 336:55-336:70  PrimitiveType -> Type->Type
testdata/Builtins.lc 336:55-336:72  Type->Type
testdata/Builtins.lc 336:55-336:74  Type
testdata/Builtins.lc 336:71-336:72  PrimitiveType
testdata/Builtins.lc 336:73-336:74  Type
testdata/Builtins.lc 337:1-337:14  {a} -> {b} -> {c:PrimitiveType} -> a->b -> List (Primitive a c) -> List (Primitive b c)
testdata/Builtins.lc 337:19-337:22  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 337:19-337:39  List (Primitive V4 V0) -> List (Primitive V4 V1) | V2->V2 -> List (Primitive V3 V1) -> List (Primitive V3 V2)
testdata/Builtins.lc 337:23-337:39  Primitive V6 V0 -> Primitive V6 V1
testdata/Builtins.lc 337:24-337:36  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 337:37-337:38  V8->V8
testdata/Builtins.lc 339:1-339:6  {a} -> String -> c:PrimitiveType -> a -> List (Primitive a c)
testdata/Builtins.lc 339:15-339:21  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> List (Primitive b a)
testdata/Builtins.lc 339:15-339:24  {a} -> {b:Unit} -> String -> a -> List (Primitive a V6)
testdata/Builtins.lc 339:15-339:26  V0 -> List (Primitive V1 V4)
testdata/Builtins.lc 339:15-339:28  List (Primitive V1 V2)
testdata/Builtins.lc 339:23-339:24  V3
testdata/Builtins.lc 339:25-339:26  V5
testdata/Builtins.lc 339:27-339:28  V2
testdata/Builtins.lc 340:1-340:12  {a} -> b:PrimitiveType -> a -> List (Primitive (FTRepr' a) b)
testdata/Builtins.lc 340:19-340:31  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> List (Primitive b a)
testdata/Builtins.lc 340:19-340:34  {a} -> {b} -> {c:Unit} -> {d : a ~ FTRepr' b} -> b -> List (Primitive a V7)
testdata/Builtins.lc 340:19-340:36  List (Primitive (FTRepr' V1) V2)
testdata/Builtins.lc 340:33-340:34  V3
testdata/Builtins.lc 340:35-340:36  V2
testdata/Builtins.lc 343:5-343:17  Type->Type
testdata/Builtins.lc 343:23-343:25  Type
testdata/Builtins.lc 343:23-353:82  Type | Type->Type
testdata/Builtins.lc 344:25-344:26  Type
testdata/Builtins.lc 344:25-344:31  Type->Type
testdata/Builtins.lc 344:25-353:82  Type
testdata/Builtins.lc 344:30-344:31  Type | Type->Type
testdata/Builtins.lc 345:19-345:35  Type
testdata/Builtins.lc 345:19-350:44  Type->Type
testdata/Builtins.lc 345:19-353:82  Type
testdata/Builtins.lc 345:39-345:45  Type | Type->Type
testdata/Builtins.lc 345:39-350:44  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 345:40-345:41  Type
testdata/Builtins.lc 345:43-345:44  Type
testdata/Builtins.lc 346:19-346:44  Type
testdata/Builtins.lc 346:19-351:58  Type->Type
testdata/Builtins.lc 346:19-353:82  Type
testdata/Builtins.lc 346:48-346:57  Type | Type->Type
testdata/Builtins.lc 346:48-351:58  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 346:49-346:50  Type
testdata/Builtins.lc 346:49-346:53  Type->Type
testdata/Builtins.lc 346:52-346:53  Type
testdata/Builtins.lc 346:55-346:56  Type
testdata/Builtins.lc 347:19-347:53  Type
testdata/Builtins.lc 347:19-352:70  Type->Type
testdata/Builtins.lc 347:19-353:82  Type
testdata/Builtins.lc 347:57-347:69  Type | Type->Type
testdata/Builtins.lc 347:57-352:70  Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 347:58-347:59  Type
testdata/Builtins.lc 347:58-347:62  Type -> Type->Type
testdata/Builtins.lc 347:58-347:65  Type->Type
testdata/Builtins.lc 347:61-347:62  Type
testdata/Builtins.lc 347:64-347:65  Type
testdata/Builtins.lc 347:67-347:68  Type
testdata/Builtins.lc 348:19-348:62  Type
testdata/Builtins.lc 348:19-353:82  Type->Type
testdata/Builtins.lc 348:66-348:81  Type | Type->Type
testdata/Builtins.lc 348:66-353:82  Type | Type -> Type -> Type -> Type -> Type->Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 348:67-348:68  Type
testdata/Builtins.lc 348:67-348:71  Type -> Type -> Type->Type
testdata/Builtins.lc 348:67-348:74  Type -> Type->Type
testdata/Builtins.lc 348:67-348:77  Type->Type
testdata/Builtins.lc 348:70-348:71  Type
testdata/Builtins.lc 348:73-348:74  Type
testdata/Builtins.lc 348:76-348:77  Type
testdata/Builtins.lc 348:79-348:80  Type
testdata/Builtins.lc 349:25-349:30  Type
testdata/Builtins.lc 349:25-349:36  Type->Type
testdata/Builtins.lc 349:34-349:36  Type | Type->Type
testdata/Builtins.lc 350:43-350:44  Type | Type->Type
testdata/Builtins.lc 351:52-351:58  Type | Type->Type
testdata/Builtins.lc 351:53-351:54  Type
testdata/Builtins.lc 351:56-351:57  Type
testdata/Builtins.lc 352:61-352:70  Type | Type->Type
testdata/Builtins.lc 352:62-352:63  Type
testdata/Builtins.lc 352:62-352:66  Type->Type
testdata/Builtins.lc 352:65-352:66  Type
testdata/Builtins.lc 352:68-352:69  Type
testdata/Builtins.lc 353:70-353:82  Type | Type->Type
testdata/Builtins.lc 353:71-353:72  Type
testdata/Builtins.lc 353:71-353:75  Type -> Type->Type
testdata/Builtins.lc 353:71-353:78  Type->Type
testdata/Builtins.lc 353:74-353:75  Type
testdata/Builtins.lc 353:77-353:78  Type
testdata/Builtins.lc 353:80-353:81  Type
testdata/Builtins.lc 357:6-357:11  Type | Type->Type
testdata/Builtins.lc 357:6-359:11  Type
testdata/Builtins.lc 357:6-359:13  Type
testdata/Builtins.lc 358:7-358:14  Maybe V1 | {a} -> Maybe a
testdata/Builtins.lc 359:7-359:11  Maybe V3 | Type | {a} -> a -> Maybe a
testdata/Builtins.lc 359:12-359:13  Type
testdata/Builtins.lc 362:6-362:12  Nat -> Type->Type | Type
testdata/Builtins.lc 362:19-362:22  Type
testdata/Builtins.lc 364:6-364:14  Nat -> Type->Type
testdata/Builtins.lc 364:21-364:27  Nat -> Type->Type
testdata/Builtins.lc 364:21-364:29  Type->Type
testdata/Builtins.lc 364:21-364:56  Type
testdata/Builtins.lc 364:28-364:29  V3
testdata/Builtins.lc 364:30-364:56  Type
testdata/Builtins.lc 364:31-364:36  Type->Type
testdata/Builtins.lc 364:37-364:55  Type
testdata/Builtins.lc 364:38-364:52  Type->Type
testdata/Builtins.lc 364:53-364:54  V1
testdata/Builtins.lc 366:6-366:20  Type | Type->Type
testdata/Builtins.lc 366:6-366:39  Type
testdata/Builtins.lc 366:6-368:29  Type
testdata/Builtins.lc 366:25-366:39  SimpleFragment V3 | Type | V2 | V2->V2 | V3 | VecS Float 3 | VecS Float 3 -> V2->V2 | {a} -> VecS Float 3 -> a -> SimpleFragment a
testdata/Builtins.lc 367:7-367:22  {a} -> SimpleFragment a -> VecS Float 3
testdata/Builtins.lc 367:28-367:31  Nat -> Type->Type
testdata/Builtins.lc 367:28-367:33  Type->Type
testdata/Builtins.lc 367:28-367:39  Type
testdata/Builtins.lc 367:32-367:33  V1
testdata/Builtins.lc 367:34-367:39  Type
testdata/Builtins.lc 368:7-368:21  {a} -> SimpleFragment a -> a
testdata/Builtins.lc 368:28-368:29  Type
testdata/Builtins.lc 371:6-371:20  Nat -> Type->Type
testdata/Builtins.lc 371:28-371:36  Nat -> Type->Type
testdata/Builtins.lc 371:28-371:38  Type->Type
testdata/Builtins.lc 371:28-371:40  Type
testdata/Builtins.lc 371:37-371:38  V3
testdata/Builtins.lc 371:39-371:40  V1
testdata/Builtins.lc 373:1-373:15  {a} -> {b:Nat} -> a->Float -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 373:19-373:63  Type
testdata/Builtins.lc 373:20-373:21  V3
testdata/Builtins.lc 373:25-373:30  Type
testdata/Builtins.lc 373:35-373:43  Nat -> Type->Type
testdata/Builtins.lc 373:35-373:45  Type->Type
testdata/Builtins.lc 373:35-373:47  Type
testdata/Builtins.lc 373:35-373:63  Type
testdata/Builtins.lc 373:44-373:45  V2
testdata/Builtins.lc 373:46-373:47  Type
testdata/Builtins.lc 373:51-373:59  Nat -> Type->Type
testdata/Builtins.lc 373:51-373:61  Type->Type
testdata/Builtins.lc 373:51-373:63  Type
testdata/Builtins.lc 373:60-373:61  Nat
testdata/Builtins.lc 373:62-373:63  Type
testdata/Builtins.lc 375:20-375:76  Type
testdata/Builtins.lc 375:21-375:22  V3
testdata/Builtins.lc 375:26-375:31  Type
testdata/Builtins.lc 375:36-375:50  Nat -> Type->Type
testdata/Builtins.lc 375:36-375:52  Type->Type
testdata/Builtins.lc 375:36-375:54  Type
testdata/Builtins.lc 375:36-375:76  Type
testdata/Builtins.lc 375:51-375:52  V2
testdata/Builtins.lc 375:53-375:54  Type
testdata/Builtins.lc 375:58-375:72  Nat -> Type->Type
testdata/Builtins.lc 375:58-375:74  Type->Type
testdata/Builtins.lc 375:58-375:76  Type
testdata/Builtins.lc 375:73-375:74  Nat
testdata/Builtins.lc 375:75-375:76  Type
testdata/Builtins.lc 376:1-376:16  {a} -> {b:Nat} -> a->Float -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 376:21-376:24  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 376:21-376:43  List (Vector V0 (Maybe (SimpleFragment V3))) -> List (Vector V1 (Maybe (SimpleFragment V4))) | V1->Float -> List (Vector V1 (Maybe (SimpleFragment V2))) -> List (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 376:25-376:43  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 376:26-376:40  {a} -> {b:Nat} -> a->Float -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 376:41-376:42  V6->Float
testdata/Builtins.lc 378:1-378:15  {a} -> {b:Nat} -> a->Bool -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 378:19-378:62  Type
testdata/Builtins.lc 378:20-378:21  V3
testdata/Builtins.lc 378:25-378:29  Type
testdata/Builtins.lc 378:34-378:42  Nat -> Type->Type
testdata/Builtins.lc 378:34-378:44  Type->Type
testdata/Builtins.lc 378:34-378:46  Type
testdata/Builtins.lc 378:34-378:62  Type
testdata/Builtins.lc 378:43-378:44  V2
testdata/Builtins.lc 378:45-378:46  Type
testdata/Builtins.lc 378:50-378:58  Nat -> Type->Type
testdata/Builtins.lc 378:50-378:60  Type->Type
testdata/Builtins.lc 378:50-378:62  Type
testdata/Builtins.lc 378:59-378:60  Nat
testdata/Builtins.lc 378:61-378:62  Type
testdata/Builtins.lc 380:20-380:75  Type
testdata/Builtins.lc 380:21-380:22  V3
testdata/Builtins.lc 380:26-380:30  Type
testdata/Builtins.lc 380:35-380:49  Nat -> Type->Type
testdata/Builtins.lc 380:35-380:51  Type->Type
testdata/Builtins.lc 380:35-380:53  Type
testdata/Builtins.lc 380:35-380:75  Type
testdata/Builtins.lc 380:50-380:51  V2
testdata/Builtins.lc 380:52-380:53  Type
testdata/Builtins.lc 380:57-380:71  Nat -> Type->Type
testdata/Builtins.lc 380:57-380:73  Type->Type
testdata/Builtins.lc 380:57-380:75  Type
testdata/Builtins.lc 380:72-380:73  Nat
testdata/Builtins.lc 380:74-380:75  Type
testdata/Builtins.lc 381:1-381:16  {a} -> {b:Nat} -> a->Bool -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 381:21-381:24  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 381:21-381:43  List (Vector V0 (Maybe (SimpleFragment V3))) -> List (Vector V1 (Maybe (SimpleFragment V4))) | V1->Bool -> List (Vector V1 (Maybe (SimpleFragment V2))) -> List (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 381:25-381:43  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 381:26-381:40  {a} -> {b:Nat} -> a->Bool -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 381:41-381:42  V6->Bool
testdata/Builtins.lc 383:1-383:12  {a} -> {b} -> {c:Nat} -> a->b -> Vector c (Maybe (SimpleFragment a)) -> Vector c (Maybe (SimpleFragment b))
testdata/Builtins.lc 383:16-383:56  Type
testdata/Builtins.lc 383:17-383:18  V5
testdata/Builtins.lc 383:22-383:23  Type | V4
testdata/Builtins.lc 383:28-383:36  Nat -> Type->Type
testdata/Builtins.lc 383:28-383:38  Type->Type
testdata/Builtins.lc 383:28-383:40  Type
testdata/Builtins.lc 383:28-383:56  Type
testdata/Builtins.lc 383:37-383:38  V2
testdata/Builtins.lc 383:39-383:40  Type
testdata/Builtins.lc 383:44-383:52  Nat -> Type->Type
testdata/Builtins.lc 383:44-383:54  Type->Type
testdata/Builtins.lc 383:44-383:56  Type
testdata/Builtins.lc 383:53-383:54  Nat
testdata/Builtins.lc 383:55-383:56  Type
testdata/Builtins.lc 385:17-385:69  Type
testdata/Builtins.lc 385:18-385:19  V5
testdata/Builtins.lc 385:23-385:24  Type | V4
testdata/Builtins.lc 385:29-385:43  Nat -> Type->Type
testdata/Builtins.lc 385:29-385:45  Type->Type
testdata/Builtins.lc 385:29-385:47  Type
testdata/Builtins.lc 385:29-385:69  Type
testdata/Builtins.lc 385:44-385:45  V2
testdata/Builtins.lc 385:46-385:47  Type
testdata/Builtins.lc 385:51-385:65  Nat -> Type->Type
testdata/Builtins.lc 385:51-385:67  Type->Type
testdata/Builtins.lc 385:51-385:69  Type
testdata/Builtins.lc 385:66-385:67  Nat
testdata/Builtins.lc 385:68-385:69  Type
testdata/Builtins.lc 386:1-386:13  {a} -> {b} -> {c:Nat} -> a->b -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 386:18-386:21  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 386:18-386:37  List (Vector V0 (Maybe (SimpleFragment V4))) -> List (Vector V1 (Maybe (SimpleFragment V4))) | V2->V2 -> List (Vector V1 (Maybe (SimpleFragment V3))) -> List (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 386:22-386:37  Vector V0 (Maybe (SimpleFragment V6)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 386:23-386:34  {a} -> {b} -> {c:Nat} -> a->b -> Vector c (Maybe (SimpleFragment a)) -> Vector c (Maybe (SimpleFragment b))
testdata/Builtins.lc 386:35-386:36  V8->V8
testdata/Builtins.lc 389:6-389:18  Type | Type->Type
testdata/Builtins.lc 389:6-392:7  Type
testdata/Builtins.lc 390:3-390:9  Interpolated V2 | Type | {a} -> {b : Floating a} -> Interpolated a
testdata/Builtins.lc 390:11-390:24  Interpolated V3 | Type | {a} -> {b : Floating a} -> Interpolated a
testdata/Builtins.lc 391:26-391:38  Type
testdata/Builtins.lc 391:26-391:56  Type
testdata/Builtins.lc 391:27-391:35  Type->Type
testdata/Builtins.lc 391:36-391:37  Type
testdata/Builtins.lc 391:42-391:54  Type->Type
testdata/Builtins.lc 391:42-391:56  Type
testdata/Builtins.lc 391:55-391:56  Type
testdata/Builtins.lc 392:3-392:7  Interpolated V3 | {a} -> Interpolated a
testdata/Builtins.lc 392:42-392:54  Type->Type
testdata/Builtins.lc 392:42-392:56  Type
testdata/Builtins.lc 392:55-392:56  Type
testdata/Builtins.lc 395:5-395:21  Type->Type
testdata/Builtins.lc 395:27-395:29  Type
testdata/Builtins.lc 395:27-398:82  Type | Type->Type
testdata/Builtins.lc 396:36-396:37  Type
testdata/Builtins.lc 396:36-396:42  Type->Type
testdata/Builtins.lc 396:36-398:82  Type
testdata/Builtins.lc 396:41-396:42  Type | Type->Type
testdata/Builtins.lc 397:23-397:53  Type
testdata/Builtins.lc 397:23-397:63  Type->Type
testdata/Builtins.lc 397:23-398:82  Type
testdata/Builtins.lc 397:57-397:63  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 397:58-397:59  Type
testdata/Builtins.lc 397:61-397:62  Type
testdata/Builtins.lc 398:23-398:69  Type
testdata/Builtins.lc 398:23-398:82  Type->Type
testdata/Builtins.lc 398:73-398:82  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 398:74-398:75  Type
testdata/Builtins.lc 398:74-398:78  Type->Type
testdata/Builtins.lc 398:77-398:78  Type
testdata/Builtins.lc 398:80-398:81  Type
testdata/Builtins.lc 400:1-400:10  {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> b -> RasterContext c d -> Primitive c d -> List (Vector 1 (Maybe (SimpleFragment a)))
testdata/Builtins.lc 401:8-406:26  Type
testdata/Builtins.lc 401:10-401:11  V7
testdata/Builtins.lc 401:10-401:13  Type->Type
testdata/Builtins.lc 401:10-401:44  Type
testdata/Builtins.lc 401:12-401:13  Type -> Type->Type
testdata/Builtins.lc 401:14-401:30  Type->Type
testdata/Builtins.lc 401:14-401:44  Type
testdata/Builtins.lc 401:31-401:44  V5
testdata/Builtins.lc 402:10-402:11  V4
testdata/Builtins.lc 402:10-402:13  Type->Type
testdata/Builtins.lc 402:10-402:43  Type
testdata/Builtins.lc 402:10-406:26  Type
testdata/Builtins.lc 402:12-402:13  Type -> Type->Type
testdata/Builtins.lc 402:14-402:27  Type -> Type->Type
testdata/Builtins.lc 402:14-402:41  Type->Type
testdata/Builtins.lc 402:14-402:43  Type
testdata/Builtins.lc 402:28-402:41  Type
testdata/Builtins.lc 402:29-402:32  Nat -> Type->Type
testdata/Builtins.lc 402:29-402:34  Type->Type
testdata/Builtins.lc 402:33-402:34  V1
testdata/Builtins.lc 402:35-402:40  Type
testdata/Builtins.lc 402:42-402:43  Type
testdata/Builtins.lc 403:8-403:21  Type
testdata/Builtins.lc 403:8-406:26  Type
testdata/Builtins.lc 404:8-404:21  Type -> PrimitiveType->Type
testdata/Builtins.lc 404:8-404:23  PrimitiveType->Type
testdata/Builtins.lc 404:8-404:25  Type
testdata/Builtins.lc 404:8-406:26  Type
testdata/Builtins.lc 404:22-404:23  Type
testdata/Builtins.lc 404:24-404:25  V4
testdata/Builtins.lc 405:8-405:17  Type -> PrimitiveType->Type
testdata/Builtins.lc 405:8-405:19  PrimitiveType->Type
testdata/Builtins.lc 405:8-405:21  Type
testdata/Builtins.lc 405:8-406:26  Type
testdata/Builtins.lc 405:18-405:19  Type
testdata/Builtins.lc 405:20-405:21  PrimitiveType
testdata/Builtins.lc 406:8-406:22  Nat -> Type->Type
testdata/Builtins.lc 406:8-406:24  Type->Type
testdata/Builtins.lc 406:8-406:26  Type
testdata/Builtins.lc 406:23-406:24  V1
testdata/Builtins.lc 406:25-406:26  Type
testdata/Builtins.lc 408:1-408:20  {a} -> {b:PrimitiveType} -> RasterContext (JoinTupleType (VecS Float 4) (InterpolatedType a)) b -> a -> List (Primitive (JoinTupleType (VecS Float 4) (InterpolatedType a)) b) -> List (Vector 1 (Maybe (SimpleFragment (InterpolatedType a))))
testdata/Builtins.lc 408:32-408:38  {a} -> List (List a) -> List a
testdata/Builtins.lc 408:32-408:65  List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3))))
testdata/Builtins.lc 408:39-408:65  List (List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3)))))
testdata/Builtins.lc 408:40-408:43  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 408:40-408:62  List (Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V5)) V0) -> List (List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V6)))))
testdata/Builtins.lc 408:44-408:62  Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V5)) V0 -> List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V6))))
testdata/Builtins.lc 408:45-408:54  {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> b -> RasterContext c d -> Primitive c d -> List (Vector 1 (Maybe (SimpleFragment a)))
testdata/Builtins.lc 408:45-408:57  RasterContext (JoinTupleType (VecS Float 4) (InterpolatedType V7)) V0 -> Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V8)) V1 -> List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V9))))
testdata/Builtins.lc 408:55-408:57  V8
testdata/Builtins.lc 408:58-408:61  V7
testdata/Builtins.lc 408:63-408:64  V2
testdata/Builtins.lc 410:6-410:11  Nat -> Type->Type | Type
testdata/Builtins.lc 410:6-414:68  Type
testdata/Builtins.lc 410:15-410:18  Type
testdata/Builtins.lc 410:22-410:26  Type
testdata/Builtins.lc 410:22-410:34  Type
testdata/Builtins.lc 410:30-410:34  Type
testdata/Builtins.lc 411:3-411:13  Image V6 (Color V3) | {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a (Color d)
testdata/Builtins.lc 411:3-412:57  Type
testdata/Builtins.lc 411:47-412:57  Type
testdata/Builtins.lc 411:48-411:51  Type->Type
testdata/Builtins.lc 411:48-411:53  Type
testdata/Builtins.lc 411:52-411:53  V3
testdata/Builtins.lc 411:55-411:60  V2
testdata/Builtins.lc 411:55-411:62  Type->Type
testdata/Builtins.lc 411:55-411:76  Type
testdata/Builtins.lc 411:55-412:57  Type
testdata/Builtins.lc 411:61-411:62  Type -> Type->Type
testdata/Builtins.lc 411:63-411:72  Nat -> Type->Type
testdata/Builtins.lc 411:63-411:74  Type->Type
testdata/Builtins.lc 411:63-411:76  Type
testdata/Builtins.lc 411:73-411:74  V4
testdata/Builtins.lc 411:75-411:76  Type
testdata/Builtins.lc 412:26-412:31  Type
testdata/Builtins.lc 412:26-412:57  Type
testdata/Builtins.lc 412:36-412:41  Nat -> Type->Type
testdata/Builtins.lc 412:36-412:43  Type->Type
testdata/Builtins.lc 412:36-412:57  Type
testdata/Builtins.lc 412:42-412:43  Nat | V7
testdata/Builtins.lc 412:42-412:57  Image V6 (Color V3) -> Type
testdata/Builtins.lc 412:44-412:57  Type
testdata/Builtins.lc 412:45-412:50  Type->Type
testdata/Builtins.lc 412:51-412:56  Type
testdata/Builtins.lc 413:3-413:13  Image V1 (Depth Float) | {a:Nat} -> Float -> Image a (Depth Float)
testdata/Builtins.lc 413:3-413:68  Type
testdata/Builtins.lc 413:37-413:42  Type
testdata/Builtins.lc 413:37-413:68  Type
testdata/Builtins.lc 413:47-413:52  Nat -> Type->Type
testdata/Builtins.lc 413:47-413:54  Type->Type
testdata/Builtins.lc 413:47-413:68  Type
testdata/Builtins.lc 413:53-413:54  Nat | V2
testdata/Builtins.lc 413:53-413:68  Image V1 (Depth Float) -> Type
testdata/Builtins.lc 413:55-413:68  Type
testdata/Builtins.lc 413:56-413:61  Type->Type
testdata/Builtins.lc 413:62-413:67  Type
testdata/Builtins.lc 414:3-414:15  Image V1 (Stencil Int) | {a:Nat} -> Int -> Image a (Stencil Int)
testdata/Builtins.lc 414:3-414:68  Type
testdata/Builtins.lc 414:37-414:40  Type
testdata/Builtins.lc 414:37-414:68  Type
testdata/Builtins.lc 414:47-414:52  Nat -> Type->Type
testdata/Builtins.lc 414:47-414:54  Type->Type
testdata/Builtins.lc 414:47-414:68  Type
testdata/Builtins.lc 414:53-414:54  Nat | V2
testdata/Builtins.lc 414:53-414:68  Image V1 (Stencil Int) -> Type
testdata/Builtins.lc 414:55-414:68  Type
testdata/Builtins.lc 414:56-414:63  Type->Type
testdata/Builtins.lc 414:64-414:67  Type
testdata/Builtins.lc 417:6-417:20  Nat -> Type->Type | Type
testdata/Builtins.lc 417:27-417:30  Type
testdata/Builtins.lc 420:5-420:18  Type->Type
testdata/Builtins.lc 420:26-420:31  Type
testdata/Builtins.lc 420:26-420:55  Type->Type
testdata/Builtins.lc 420:26-422:91  Type | Type->Type
testdata/Builtins.lc 420:35-420:49  Nat -> Type->Type
testdata/Builtins.lc 420:35-420:52  Type->Type
testdata/Builtins.lc 420:35-420:55  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 420:50-420:52  Nat
testdata/Builtins.lc 420:53-420:55  Type
testdata/Builtins.lc 421:20-421:44  Type
testdata/Builtins.lc 421:20-421:74  Type->Type
testdata/Builtins.lc 421:20-422:91  Type
testdata/Builtins.lc 421:48-421:62  Nat -> Type->Type
testdata/Builtins.lc 421:48-421:65  Type->Type
testdata/Builtins.lc 421:48-421:74  Nat -> Type->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 421:63-421:65  Nat
testdata/Builtins.lc 421:66-421:74  Type
testdata/Builtins.lc 421:67-421:69  Type
testdata/Builtins.lc 421:71-421:73  Type
testdata/Builtins.lc 422:20-422:57  Type
testdata/Builtins.lc 422:20-422:91  Type->Type
testdata/Builtins.lc 422:61-422:75  Nat -> Type->Type
testdata/Builtins.lc 422:61-422:78  Type->Type
testdata/Builtins.lc 422:61-422:91  Nat -> Type->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 422:76-422:78  Nat
testdata/Builtins.lc 422:79-422:91  Type
testdata/Builtins.lc 422:80-422:82  Type
testdata/Builtins.lc 422:80-422:86  Type->Type
testdata/Builtins.lc 422:84-422:86  Type
testdata/Builtins.lc 422:88-422:90  Type
testdata/Builtins.lc 425:5-425:20  Type->Type
testdata/Builtins.lc 425:28-425:33  Type
testdata/Builtins.lc 425:28-425:41  Type->Type
testdata/Builtins.lc 425:28-427:99  Type | Type->Type
testdata/Builtins.lc 425:37-425:41  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 426:22-426:46  Type
testdata/Builtins.lc 426:22-426:64  Type->Type
testdata/Builtins.lc 426:22-427:99  Type
testdata/Builtins.lc 426:50-426:54  a:Type -> a -> a->Type
testdata/Builtins.lc 426:50-426:58  Nat -> Nat->Type
testdata/Builtins.lc 426:50-426:61  Nat->Type
testdata/Builtins.lc 426:50-426:64  Nat -> Type->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 426:55-426:58  Type
testdata/Builtins.lc 426:59-426:61  Nat
testdata/Builtins.lc 426:62-426:64  Nat
testdata/Builtins.lc 427:22-427:59  Type
testdata/Builtins.lc 427:22-427:99  Type->Type
testdata/Builtins.lc 427:63-427:65  Type -> Type->Type
testdata/Builtins.lc 427:63-427:82  Type->Type
testdata/Builtins.lc 427:63-427:99  Nat -> Type->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 427:66-427:82  Type
testdata/Builtins.lc 427:67-427:71  a:Type -> a -> a->Type
testdata/Builtins.lc 427:67-427:75  Nat -> Nat->Type
testdata/Builtins.lc 427:67-427:78  Nat->Type
testdata/Builtins.lc 427:72-427:75  Type
testdata/Builtins.lc 427:76-427:78  Nat
testdata/Builtins.lc 427:79-427:81  Nat
testdata/Builtins.lc 427:83-427:99  Type
testdata/Builtins.lc 427:84-427:88  a:Type -> a -> a->Type
testdata/Builtins.lc 427:84-427:92  Nat -> Nat->Type
testdata/Builtins.lc 427:84-427:95  Nat->Type
testdata/Builtins.lc 427:89-427:92  Type
testdata/Builtins.lc 427:93-427:95  Nat
testdata/Builtins.lc 427:96-427:98  Nat
testdata/Builtins.lc 429:7-429:20  Type->Type
testdata/Builtins.lc 429:7-429:65  Type
testdata/Builtins.lc 429:29-429:42  {a} -> {b} -> {c : DefaultFragOp b} -> FragmentOperation b
testdata/Builtins.lc 429:46-429:63  Type->Type
testdata/Builtins.lc 429:46-429:65  Type
testdata/Builtins.lc 429:64-429:65  Type
testdata/Builtins.lc 430:37-430:42  Type
testdata/Builtins.lc 430:37-430:112  ({a : DefaultFragOp V1} -> FragmentOperation V2) -> {c : DefaultFragOp V2} -> FragmentOperation V3
testdata/Builtins.lc 430:37-431:36  Type | Type->Type
testdata/Builtins.lc 430:37-431:77  {a : DefaultFragOp V1} -> FragmentOperation V2 | {a} -> {b : DefaultFragOp a} -> FragmentOperation a
testdata/Builtins.lc 430:69-430: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)
testdata/Builtins.lc 430:69-430:87  VecScalar V2 Bool -> FragmentOperation (Color (VecScalar V3 V2))
testdata/Builtins.lc 430:69-430:112  FragmentOperation (Color (VecS V1 4)) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ ('Succ ('Succ a))))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ ('Succ a)))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ ('Succ a))))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ a))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ a)))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ a)))} -> FragmentOperation (Color (VecS Float ('Succ a))) | a:Nat -> {b : DefaultFragOp (Color (VecS V1 a))} -> FragmentOperation (Color (VecS V2 a)) | a:Type -> b:Nat -> {c : DefaultFragOp (Color (VecS a b))} -> FragmentOperation (Color (VecS a b)) | a:Type -> {b : DefaultFragOp (Color a)} -> FragmentOperation (Color a)
testdata/Builtins.lc 430:77-430:87  {a} -> Blending a
testdata/Builtins.lc 430:88-430:112  VecS Bool 4
testdata/Builtins.lc 430:89-430:91  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 430:89-430:96  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 430:89-430:101  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 430:89-430:106  Bool -> VecS Bool 4
testdata/Builtins.lc 430:92-430:96  Bool
testdata/Builtins.lc 430:97-430:101  Bool
testdata/Builtins.lc 430:102-430:106  Bool
testdata/Builtins.lc 430:107-430:111  Bool
testdata/Builtins.lc 431:31-431:36  Type
testdata/Builtins.lc 431:31-431:77  ({a : DefaultFragOp V1} -> FragmentOperation V2) -> {c : DefaultFragOp V2} -> FragmentOperation V3
testdata/Builtins.lc 431:60-431:67  ComparisonFunction -> Bool -> FragmentOperation (Depth Float)
testdata/Builtins.lc 431:60-431:72  Bool -> FragmentOperation (Depth Float)
testdata/Builtins.lc 431:60-431:77  FragmentOperation (Depth Float) | a:Type -> {b : DefaultFragOp (Depth a)} -> FragmentOperation (Depth a)
testdata/Builtins.lc 431:68-431:72  ComparisonFunction
testdata/Builtins.lc 431:73-431:77  Bool
testdata/Builtins.lc 438:6-438:17  Nat -> Type->Type | Type
testdata/Builtins.lc 438:6-440:14  Type
testdata/Builtins.lc 438:24-438:27  Type
testdata/Builtins.lc 439:3-439:13  FrameBuffer V5 V4 | Type | {a:Nat} -> {b} -> FragOps' b -> List (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 439:19-439:27  Type->Type
testdata/Builtins.lc 439:19-439:29  Type
testdata/Builtins.lc 439:19-439:104  Type
testdata/Builtins.lc 439:28-439:29  Type
testdata/Builtins.lc 439:33-439:47  Nat -> Type->Type
testdata/Builtins.lc 439:33-439:49  Type->Type
testdata/Builtins.lc 439:33-439:66  Type
testdata/Builtins.lc 439:33-439:104  Type
testdata/Builtins.lc 439:48-439:49  Nat
testdata/Builtins.lc 439:50-439:66  Type
testdata/Builtins.lc 439:51-439:63  Type->Type
testdata/Builtins.lc 439:64-439:65  Type
testdata/Builtins.lc 439:70-439:81  Nat -> Type->Type
testdata/Builtins.lc 439:70-439:83  Type->Type
testdata/Builtins.lc 439:70-439:85  Type
testdata/Builtins.lc 439:70-439:104  Type
testdata/Builtins.lc 439:82-439:83  Nat
testdata/Builtins.lc 439:84-439:85  Type
testdata/Builtins.lc 439:89-439:100  Nat -> Type->Type
testdata/Builtins.lc 439:89-439:102  Type->Type
testdata/Builtins.lc 439:89-439:104  Type
testdata/Builtins.lc 439:101-439:102  Nat
testdata/Builtins.lc 439:103-439:104  Type
testdata/Builtins.lc 440:3-440:14  FrameBuffer V7 V6 | Type | {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 440:19-440:120  Type
testdata/Builtins.lc 440:20-440:36  Type->Type
testdata/Builtins.lc 440:20-440:38  Type
testdata/Builtins.lc 440:37-440:38  Type
testdata/Builtins.lc 440:40-440:55  Type->Type
testdata/Builtins.lc 440:40-440:57  Type
testdata/Builtins.lc 440:40-440:120  Type
testdata/Builtins.lc 440:56-440:57  V2
testdata/Builtins.lc 440:59-440:73  Nat -> Type->Type
testdata/Builtins.lc 440:59-440:75  Type->Type
testdata/Builtins.lc 440:59-440:77  Type
testdata/Builtins.lc 440:59-440:79  Type->Type
testdata/Builtins.lc 440:59-440:95  Type
testdata/Builtins.lc 440:59-440:120  Type
testdata/Builtins.lc 440:74-440:75  Nat
testdata/Builtins.lc 440:76-440:77  Type
testdata/Builtins.lc 440:78-440:79  Type -> Type->Type
testdata/Builtins.lc 440:80-440:93  Type->Type
testdata/Builtins.lc 440:80-440:95  Type
testdata/Builtins.lc 440:94-440:95  Type
testdata/Builtins.lc 440:100-440:101  Type
testdata/Builtins.lc 440:100-440:120  Type
testdata/Builtins.lc 440:105-440:116  Nat -> Type->Type
testdata/Builtins.lc 440:105-440:118  Type->Type
testdata/Builtins.lc 440:105-440:120  Type
testdata/Builtins.lc 440:117-440:118  Nat
testdata/Builtins.lc 440:119-440:120  Type
testdata/Builtins.lc 442:1-442:11  {a:Nat} -> {b} -> {c} -> FragOps' b -> (c -> RemSemantics b) -> List (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 442:34-442:44  {a:Nat} -> {b} -> FragOps' b -> List (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 442:34-442:48  List (Vector V1 (Maybe (SimpleFragment (RemSemantics V0)))) -> FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 442:34-442:76  FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 442:34-442:79  FrameBuffer V2 V1
testdata/Builtins.lc 442:45-442:48  V9
testdata/Builtins.lc 442:49-442:76  List (Vector V2 (Maybe (SimpleFragment (RemSemantics V1))))
testdata/Builtins.lc 442:50-442:62  {a} -> {b} -> {c:Nat} -> a->b -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 442:50-442:70  List (Vector V0 (Maybe (SimpleFragment V2))) -> List (Vector V1 (Maybe (SimpleFragment V2)))
testdata/Builtins.lc 442:63-442:70  V10
testdata/Builtins.lc 442:71-442:75  V6
testdata/Builtins.lc 442:77-442:79  V4
testdata/Builtins.lc 444:1-444:20  {a} -> a->a
testdata/Builtins.lc 444:25-444:26  V1
testdata/Builtins.lc 447:1-447:9  {a} -> FrameBuffer 1 a -> Image 1 a
testdata/Builtins.lc 447:24-447:35  Nat -> Type->Type
testdata/Builtins.lc 447:24-447:37  Type->Type
testdata/Builtins.lc 447:24-447:39  Type
testdata/Builtins.lc 447:24-447:52  Type
testdata/Builtins.lc 447:36-447:37  V1
testdata/Builtins.lc 447:38-447:39  V1
testdata/Builtins.lc 447:43-447:48  Nat -> Type->Type
testdata/Builtins.lc 447:43-447:50  Type->Type
testdata/Builtins.lc 447:43-447:52  Type
testdata/Builtins.lc 447:49-447:50  V1
testdata/Builtins.lc 447:51-447:52  Type
testdata/Builtins.lc 448:1-448:14  FrameBuffer 1 (Tuple2 (Depth Float) (Color (VecS Float 4))) -> Image 1 (Color (VecS Float 4))
testdata/Builtins.lc 448:24-448:35  Nat -> Type->Type
testdata/Builtins.lc 448:24-448:37  Type->Type
testdata/Builtins.lc 448:24-448:72  Type
testdata/Builtins.lc 448:36-448:37  V1
testdata/Builtins.lc 448:38-448:72  Type
testdata/Builtins.lc 448:39-448:44  Type->Type
testdata/Builtins.lc 448:39-448:50  Type
testdata/Builtins.lc 448:45-448:50  Type
testdata/Builtins.lc 448:52-448:57  Type->Type
testdata/Builtins.lc 448:52-448:71  Type
testdata/Builtins.lc 448:58-448:71  Type
testdata/Builtins.lc 448:59-448:62  Nat -> Type->Type
testdata/Builtins.lc 448:59-448:64  Type->Type
testdata/Builtins.lc 448:63-448:64  V1
testdata/Builtins.lc 448:65-448:70  Type
testdata/Builtins.lc 448:76-448:81  Nat -> Type->Type
testdata/Builtins.lc 448:76-448:83  Type->Type
testdata/Builtins.lc 448:76-448:105  Type
testdata/Builtins.lc 448:82-448:83  V1
testdata/Builtins.lc 448:84-448:105  Type
testdata/Builtins.lc 448:85-448:90  Type->Type
testdata/Builtins.lc 448:91-448:104  Type
testdata/Builtins.lc 448:92-448:95  Nat -> Type->Type
testdata/Builtins.lc 448:92-448:97  Type->Type
testdata/Builtins.lc 448:96-448:97  V1
testdata/Builtins.lc 448:98-448:103  Type
testdata/Builtins.lc 450:6-450:12  Type
testdata/Builtins.lc 450:6-451:12  Type
testdata/Builtins.lc 451:3-451:12  Output | Type | {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 451:26-451:37  Nat -> Type->Type
testdata/Builtins.lc 451:26-451:39  Type->Type
testdata/Builtins.lc 451:26-451:41  Type
testdata/Builtins.lc 451:26-451:51  Type
testdata/Builtins.lc 451:38-451:39  V3
testdata/Builtins.lc 451:40-451:41  V1
testdata/Builtins.lc 451:45-451:51  Type
testdata/Builtins.lc 457:1-457:8  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 457:10-457:17  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 457:19-457:26  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 457:34-457:37  Type->Type
testdata/Builtins.lc 457:34-457:58  Type
testdata/Builtins.lc 457:34-457:73  Type
testdata/Builtins.lc 457:38-457:58  Type
testdata/Builtins.lc 457:39-457:55  Type->Type
testdata/Builtins.lc 457:56-457:57  V1
testdata/Builtins.lc 457:62-457:63  Type
testdata/Builtins.lc 457:62-457:73  Type
testdata/Builtins.lc 457:67-457:68  Type
testdata/Builtins.lc 457:67-457:73  Type
testdata/Builtins.lc 457:72-457:73  Type
testdata/Builtins.lc 458:1-458:9  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 458:11-458:19  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 458:21-458:29  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 458:34-458:80  Type
testdata/Builtins.lc 458:35-458:36  V3
testdata/Builtins.lc 458:35-458:38  Type->Type
testdata/Builtins.lc 458:35-458:57  Type
testdata/Builtins.lc 458:37-458:38  Type -> Type->Type
testdata/Builtins.lc 458:39-458:55  Type->Type
testdata/Builtins.lc 458:39-458:57  Type
testdata/Builtins.lc 458:56-458:57  V1
testdata/Builtins.lc 458:59-458:62  Type->Type
testdata/Builtins.lc 458:59-458:64  Type
testdata/Builtins.lc 458:59-458:80  Type
testdata/Builtins.lc 458:63-458:64  Type
testdata/Builtins.lc 458:69-458:70  Type
testdata/Builtins.lc 458:69-458:80  Type
testdata/Builtins.lc 458:74-458:75  Type
testdata/Builtins.lc 458:74-458:80  Type
testdata/Builtins.lc 458:79-458:80  Type
testdata/Builtins.lc 459:1-459:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 459:10-459:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 459:34-459:75  Type
testdata/Builtins.lc 459:35-459:38  Type->Type
testdata/Builtins.lc 459:35-459:40  Type
testdata/Builtins.lc 459:39-459:40  V5
testdata/Builtins.lc 459:42-459:43  V4
testdata/Builtins.lc 459:42-459:45  Type->Type
testdata/Builtins.lc 459:42-459:59  Type
testdata/Builtins.lc 459:42-459:75  Type
testdata/Builtins.lc 459:44-459:45  Type -> Type->Type
testdata/Builtins.lc 459:46-459:55  Nat -> Type->Type
testdata/Builtins.lc 459:46-459:57  Type->Type
testdata/Builtins.lc 459:46-459:59  Type
testdata/Builtins.lc 459:56-459:57  V2
testdata/Builtins.lc 459:58-459:59  Type
testdata/Builtins.lc 459:64-459:65  Type
testdata/Builtins.lc 459:64-459:75  Type
testdata/Builtins.lc 459:69-459:70  Type
testdata/Builtins.lc 459:69-459:75  Type
testdata/Builtins.lc 459:74-459:75  Type
testdata/Builtins.lc 460:1-460:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 460:11-460:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 460:34-460:75  Type
testdata/Builtins.lc 460:35-460:38  Type->Type
testdata/Builtins.lc 460:35-460:40  Type
testdata/Builtins.lc 460:39-460:40  V5
testdata/Builtins.lc 460:42-460:43  V4
testdata/Builtins.lc 460:42-460:45  Type->Type
testdata/Builtins.lc 460:42-460:59  Type
testdata/Builtins.lc 460:42-460:75  Type
testdata/Builtins.lc 460:44-460:45  Type -> Type->Type
testdata/Builtins.lc 460:46-460:55  Nat -> Type->Type
testdata/Builtins.lc 460:46-460:57  Type->Type
testdata/Builtins.lc 460:46-460:59  Type
testdata/Builtins.lc 460:56-460:57  V2
testdata/Builtins.lc 460:58-460:59  Type
testdata/Builtins.lc 460:64-460:65  Type
testdata/Builtins.lc 460:64-460:75  Type
testdata/Builtins.lc 460:69-460:70  Type
testdata/Builtins.lc 460:69-460:75  Type
testdata/Builtins.lc 460:74-460:75  Type
testdata/Builtins.lc 461:1-461:8  {a} -> {b : Signed (MatVecScalarElem a)} -> a->a
testdata/Builtins.lc 461:34-461:40  Type->Type
testdata/Builtins.lc 461:34-461:61  Type
testdata/Builtins.lc 461:34-461:71  Type
testdata/Builtins.lc 461:41-461:61  Type
testdata/Builtins.lc 461:42-461:58  Type->Type
testdata/Builtins.lc 461:59-461:60  V1
testdata/Builtins.lc 461:65-461:66  Type
testdata/Builtins.lc 461:65-461:71  Type
testdata/Builtins.lc 461:70-461:71  Type
testdata/Builtins.lc 463:1-463:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 463:11-463:18  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 463:20-463:28  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 463:34-463:80  Type
testdata/Builtins.lc 463:35-463:43  Type->Type
testdata/Builtins.lc 463:35-463:45  Type
testdata/Builtins.lc 463:44-463:45  V5
testdata/Builtins.lc 463:47-463:48  V4
testdata/Builtins.lc 463:47-463:50  Type->Type
testdata/Builtins.lc 463:47-463:64  Type
testdata/Builtins.lc 463:47-463:80  Type
testdata/Builtins.lc 463:49-463:50  Type -> Type->Type
testdata/Builtins.lc 463:51-463:60  Nat -> Type->Type
testdata/Builtins.lc 463:51-463:62  Type->Type
testdata/Builtins.lc 463:51-463:64  Type
testdata/Builtins.lc 463:61-463:62  V2
testdata/Builtins.lc 463:63-463:64  Type
testdata/Builtins.lc 463:69-463:70  Type
testdata/Builtins.lc 463:69-463:80  Type
testdata/Builtins.lc 463:74-463:75  Type
testdata/Builtins.lc 463:74-463:80  Type
testdata/Builtins.lc 463:79-463:80  Type
testdata/Builtins.lc 464:1-464:10  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 464:12-464:20  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 464:22-464:31  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 464:34-464:80  Type
testdata/Builtins.lc 464:35-464:43  Type->Type
testdata/Builtins.lc 464:35-464:45  Type
testdata/Builtins.lc 464:44-464:45  V5
testdata/Builtins.lc 464:47-464:48  V4
testdata/Builtins.lc 464:47-464:50  Type->Type
testdata/Builtins.lc 464:47-464:64  Type
testdata/Builtins.lc 464:47-464:80  Type
testdata/Builtins.lc 464:49-464:50  Type -> Type->Type
testdata/Builtins.lc 464:51-464:60  Nat -> Type->Type
testdata/Builtins.lc 464:51-464:62  Type->Type
testdata/Builtins.lc 464:51-464:64  Type
testdata/Builtins.lc 464:61-464:62  V2
testdata/Builtins.lc 464:63-464:64  Type
testdata/Builtins.lc 464:69-464:70  Type
testdata/Builtins.lc 464:69-464:80  Type
testdata/Builtins.lc 464:74-464:75  Type
testdata/Builtins.lc 464:74-464:80  Type
testdata/Builtins.lc 464:79-464:80  Type
testdata/Builtins.lc 465:1-465:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 465:34-465:75  Type
testdata/Builtins.lc 465:35-465:43  Type->Type
testdata/Builtins.lc 465:35-465:45  Type
testdata/Builtins.lc 465:44-465:45  V5
testdata/Builtins.lc 465:47-465:48  V4
testdata/Builtins.lc 465:47-465:50  Type->Type
testdata/Builtins.lc 465:47-465:64  Type
testdata/Builtins.lc 465:47-465:75  Type
testdata/Builtins.lc 465:49-465:50  Type -> Type->Type
testdata/Builtins.lc 465:51-465:60  Nat -> Type->Type
testdata/Builtins.lc 465:51-465:62  Type->Type
testdata/Builtins.lc 465:51-465:64  Type
testdata/Builtins.lc 465:61-465:62  V2
testdata/Builtins.lc 465:63-465:64  Type
testdata/Builtins.lc 465:69-465:70  Type
testdata/Builtins.lc 465:69-465:75  Type
testdata/Builtins.lc 465:74-465:75  Type
testdata/Builtins.lc 466:1-466:12  {a} -> {b} -> {c:Nat} -> {d} -> {e : Integral a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Word} -> b -> d->b
testdata/Builtins.lc 466:14-466:25  {a} -> {b} -> {c:Nat} -> {d} -> {e : Integral a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Word} -> b -> d->b
testdata/Builtins.lc 466:34-466:102  Type
testdata/Builtins.lc 466:35-466:43  Type->Type
testdata/Builtins.lc 466:35-466:45  Type
testdata/Builtins.lc 466:44-466:45  V7
testdata/Builtins.lc 466:47-466:48  V6
testdata/Builtins.lc 466:47-466:50  Type->Type
testdata/Builtins.lc 466:47-466:64  Type
testdata/Builtins.lc 466:47-466:102  Type
testdata/Builtins.lc 466:49-466:50  Type -> Type->Type
testdata/Builtins.lc 466:51-466:60  Nat -> Type->Type
testdata/Builtins.lc 466:51-466:62  Type->Type
testdata/Builtins.lc 466:51-466:64  Type
testdata/Builtins.lc 466:61-466:62  V4
testdata/Builtins.lc 466:63-466:64  Type
testdata/Builtins.lc 466:66-466:67  V3
testdata/Builtins.lc 466:66-466:69  Type->Type
testdata/Builtins.lc 466:66-466:86  Type
testdata/Builtins.lc 466:66-466:102  Type
testdata/Builtins.lc 466:68-466:69  Type -> Type->Type
testdata/Builtins.lc 466:70-466:79  Nat -> Type->Type
testdata/Builtins.lc 466:70-466:81  Type->Type
testdata/Builtins.lc 466:70-466:86  Type
testdata/Builtins.lc 466:80-466:81  Nat
testdata/Builtins.lc 466:82-466:86  Type
testdata/Builtins.lc 466:91-466:92  Type
testdata/Builtins.lc 466:91-466:102  Type
testdata/Builtins.lc 466:96-466:97  Type
testdata/Builtins.lc 466:96-466:102  Type
testdata/Builtins.lc 466:101-466:102  Type
testdata/Builtins.lc 467:1-467:13  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 467:15-467:27  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 467:34-467:83  Type
testdata/Builtins.lc 467:35-467:43  Type->Type
testdata/Builtins.lc 467:35-467:45  Type
testdata/Builtins.lc 467:44-467:45  V5
testdata/Builtins.lc 467:47-467:48  V4
testdata/Builtins.lc 467:47-467:50  Type->Type
testdata/Builtins.lc 467:47-467:64  Type
testdata/Builtins.lc 467:47-467:83  Type
testdata/Builtins.lc 467:49-467:50  Type -> Type->Type
testdata/Builtins.lc 467:51-467:60  Nat -> Type->Type
testdata/Builtins.lc 467:51-467:62  Type->Type
testdata/Builtins.lc 467:51-467:64  Type
testdata/Builtins.lc 467:61-467:62  V2
testdata/Builtins.lc 467:63-467:64  Type
testdata/Builtins.lc 467:69-467:70  Type
testdata/Builtins.lc 467:69-467:83  Type
testdata/Builtins.lc 467:74-467:78  Type
testdata/Builtins.lc 467:74-467:83  Type
testdata/Builtins.lc 467:82-467:83  Type
testdata/Builtins.lc 469:1-469:8  Bool -> Bool->Bool
testdata/Builtins.lc 469:10-469:16  Bool -> Bool->Bool
testdata/Builtins.lc 469:18-469:25  Bool -> Bool->Bool
testdata/Builtins.lc 469:34-469:38  Type
testdata/Builtins.lc 469:42-469:46  Type
testdata/Builtins.lc 469:42-469:54  Type
testdata/Builtins.lc 469:50-469:54  Type
testdata/Builtins.lc 470:1-470:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Bool} -> a->a
testdata/Builtins.lc 470:34-470:56  Type
testdata/Builtins.lc 470:34-470:66  Type
testdata/Builtins.lc 470:35-470:36  V3
testdata/Builtins.lc 470:35-470:38  Type->Type
testdata/Builtins.lc 470:37-470:38  Type -> Type->Type
testdata/Builtins.lc 470:39-470:48  Nat -> Type->Type
testdata/Builtins.lc 470:39-470:50  Type->Type
testdata/Builtins.lc 470:39-470:55  Type
testdata/Builtins.lc 470:49-470:50  V1
testdata/Builtins.lc 470:51-470:55  Type
testdata/Builtins.lc 470:60-470:61  Type
testdata/Builtins.lc 470:60-470:66  Type
testdata/Builtins.lc 470:65-470:66  Type
testdata/Builtins.lc 471:1-471:8  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 471:10-471:17  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 471:34-471:43  Nat -> Type->Type
testdata/Builtins.lc 471:34-471:45  Type->Type
testdata/Builtins.lc 471:34-471:50  Type
testdata/Builtins.lc 471:34-471:58  Type
testdata/Builtins.lc 471:44-471:45  V1
testdata/Builtins.lc 471:46-471:50  Type
testdata/Builtins.lc 471:54-471:58  Type
testdata/Builtins.lc 474:1-474:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:11-474:20  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:22-474:30  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:32-474:41  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:43-474:51  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:53-474:62  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:64-474:71  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:73-474:81  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:83-474:94  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:96-474:107  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:109-474:116  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:118-474:126  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:128-474:135  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:137-474:145  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:147-474:154  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:156-474:163  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:165-474:173  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:175-474:183  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:185-474:193  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:195-474:206  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 475:34-475:57  Type
testdata/Builtins.lc 475:34-475:67  Type
testdata/Builtins.lc 475:35-475:36  V3
testdata/Builtins.lc 475:35-475:38  Type->Type
testdata/Builtins.lc 475:37-475:38  Type -> Type->Type
testdata/Builtins.lc 475:39-475:48  Nat -> Type->Type
testdata/Builtins.lc 475:39-475:50  Type->Type
testdata/Builtins.lc 475:39-475:56  Type
testdata/Builtins.lc 475:49-475:50  V1
testdata/Builtins.lc 475:51-475:56  Type
testdata/Builtins.lc 475:61-475:62  Type
testdata/Builtins.lc 475:61-475:67  Type
testdata/Builtins.lc 475:66-475:67  Type
testdata/Builtins.lc 476:1-476:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 476:10-476:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 476:34-476:57  Type
testdata/Builtins.lc 476:34-476:72  Type
testdata/Builtins.lc 476:35-476:36  V3
testdata/Builtins.lc 476:35-476:38  Type->Type
testdata/Builtins.lc 476:37-476:38  Type -> Type->Type
testdata/Builtins.lc 476:39-476:48  Nat -> Type->Type
testdata/Builtins.lc 476:39-476:50  Type->Type
testdata/Builtins.lc 476:39-476:56  Type
testdata/Builtins.lc 476:49-476:50  V1
testdata/Builtins.lc 476:51-476:56  Type
testdata/Builtins.lc 476:61-476:62  Type
testdata/Builtins.lc 476:61-476:72  Type
testdata/Builtins.lc 476:66-476:67  Type
testdata/Builtins.lc 476:66-476:72  Type
testdata/Builtins.lc 476:71-476:72  Type
testdata/Builtins.lc 478:1-478:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 478:12-478:21  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 478:23-478:32  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 478:34-478:47  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 478:49-478:57  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 478:59-478:68  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 479:34-479:57  Type
testdata/Builtins.lc 479:34-479:67  Type
testdata/Builtins.lc 479:35-479:36  V3
testdata/Builtins.lc 479:35-479:38  Type->Type
testdata/Builtins.lc 479:37-479:38  Type -> Type->Type
testdata/Builtins.lc 479:39-479:48  Nat -> Type->Type
testdata/Builtins.lc 479:39-479:50  Type->Type
testdata/Builtins.lc 479:39-479:56  Type
testdata/Builtins.lc 479:49-479:50  V1
testdata/Builtins.lc 479:51-479:56  Type
testdata/Builtins.lc 479:61-479:62  Type
testdata/Builtins.lc 479:61-479:67  Type
testdata/Builtins.lc 479:66-479:67  Type
testdata/Builtins.lc 480:1-480:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 480:10-480:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 480:34-480:75  Type
testdata/Builtins.lc 480:35-480:38  Type->Type
testdata/Builtins.lc 480:35-480:40  Type
testdata/Builtins.lc 480:39-480:40  V5
testdata/Builtins.lc 480:42-480:43  V4
testdata/Builtins.lc 480:42-480:45  Type->Type
testdata/Builtins.lc 480:42-480:59  Type
testdata/Builtins.lc 480:42-480:75  Type
testdata/Builtins.lc 480:44-480:45  Type -> Type->Type
testdata/Builtins.lc 480:46-480:55  Nat -> Type->Type
testdata/Builtins.lc 480:46-480:57  Type->Type
testdata/Builtins.lc 480:46-480:59  Type
testdata/Builtins.lc 480:56-480:57  V2
testdata/Builtins.lc 480:58-480:59  Type
testdata/Builtins.lc 480:64-480:65  Type
testdata/Builtins.lc 480:64-480:75  Type
testdata/Builtins.lc 480:69-480:70  Type
testdata/Builtins.lc 480:69-480:75  Type
testdata/Builtins.lc 480:74-480:75  Type
testdata/Builtins.lc 481:1-481:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 481:11-481:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 481:34-481:75  Type
testdata/Builtins.lc 481:35-481:38  Type->Type
testdata/Builtins.lc 481:35-481:40  Type
testdata/Builtins.lc 481:39-481:40  V5
testdata/Builtins.lc 481:42-481:43  V4
testdata/Builtins.lc 481:42-481:45  Type->Type
testdata/Builtins.lc 481:42-481:59  Type
testdata/Builtins.lc 481:42-481:75  Type
testdata/Builtins.lc 481:44-481:45  Type -> Type->Type
testdata/Builtins.lc 481:46-481:55  Nat -> Type->Type
testdata/Builtins.lc 481:46-481:57  Type->Type
testdata/Builtins.lc 481:46-481:59  Type
testdata/Builtins.lc 481:56-481:57  V2
testdata/Builtins.lc 481:58-481:59  Type
testdata/Builtins.lc 481:64-481:65  Type
testdata/Builtins.lc 481:64-481:75  Type
testdata/Builtins.lc 481:69-481:70  Type
testdata/Builtins.lc 481:69-481:75  Type
testdata/Builtins.lc 481:74-481:75  Type
testdata/Builtins.lc 482:1-482:10  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 482:12-482:21  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 482:34-482:89  Type
testdata/Builtins.lc 482:35-482:36  V5
testdata/Builtins.lc 482:35-482:38  Type->Type
testdata/Builtins.lc 482:35-482:56  Type
testdata/Builtins.lc 482:37-482:38  Type -> Type->Type
testdata/Builtins.lc 482:39-482:48  Nat -> Type->Type
testdata/Builtins.lc 482:39-482:50  Type->Type
testdata/Builtins.lc 482:39-482:56  Type
testdata/Builtins.lc 482:49-482:50  V3
testdata/Builtins.lc 482:51-482:56  Type
testdata/Builtins.lc 482:58-482:59  V2
testdata/Builtins.lc 482:58-482:61  Type->Type
testdata/Builtins.lc 482:58-482:78  Type
testdata/Builtins.lc 482:58-482:89  Type
testdata/Builtins.lc 482:60-482:61  Type -> Type->Type
testdata/Builtins.lc 482:62-482:71  Nat -> Type->Type
testdata/Builtins.lc 482:62-482:73  Type->Type
testdata/Builtins.lc 482:62-482:78  Type
testdata/Builtins.lc 482:72-482:73  Nat
testdata/Builtins.lc 482:74-482:78  Type
testdata/Builtins.lc 482:83-482:84  Type
testdata/Builtins.lc 482:83-482:89  Type
testdata/Builtins.lc 482:88-482:89  Type
testdata/Builtins.lc 483:1-483:8  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 483:10-483:18  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 483:34-483:73  Type
testdata/Builtins.lc 483:35-483:41  Type->Type
testdata/Builtins.lc 483:35-483:43  Type
testdata/Builtins.lc 483:42-483:43  V5
testdata/Builtins.lc 483:45-483:46  V4
testdata/Builtins.lc 483:45-483:48  Type->Type
testdata/Builtins.lc 483:45-483:62  Type
testdata/Builtins.lc 483:45-483:73  Type
testdata/Builtins.lc 483:47-483:48  Type -> Type->Type
testdata/Builtins.lc 483:49-483:58  Nat -> Type->Type
testdata/Builtins.lc 483:49-483:60  Type->Type
testdata/Builtins.lc 483:49-483:62  Type
testdata/Builtins.lc 483:59-483:60  V2
testdata/Builtins.lc 483:61-483:62  Type
testdata/Builtins.lc 483:67-483:68  Type
testdata/Builtins.lc 483:67-483:73  Type
testdata/Builtins.lc 483:72-483:73  Type
testdata/Builtins.lc 484:1-484:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> Tuple2 a a
testdata/Builtins.lc 484:34-484:57  Type
testdata/Builtins.lc 484:34-484:72  Type
testdata/Builtins.lc 484:35-484:36  V3
testdata/Builtins.lc 484:35-484:38  Type->Type
testdata/Builtins.lc 484:37-484:38  Type -> Type->Type
testdata/Builtins.lc 484:39-484:48  Nat -> Type->Type
testdata/Builtins.lc 484:39-484:50  Type->Type
testdata/Builtins.lc 484:39-484:56  Type
testdata/Builtins.lc 484:49-484:50  V1
testdata/Builtins.lc 484:51-484:56  Type
testdata/Builtins.lc 484:61-484:62  Type
testdata/Builtins.lc 484:61-484:72  Type
testdata/Builtins.lc 484:66-484:72  Type
testdata/Builtins.lc 484:67-484:68  Type
testdata/Builtins.lc 484:70-484:71  Type
testdata/Builtins.lc 485:1-485:10  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b -> b->b
testdata/Builtins.lc 485:34-485:80  Type
testdata/Builtins.lc 485:35-485:38  Type->Type
testdata/Builtins.lc 485:35-485:40  Type
testdata/Builtins.lc 485:39-485:40  V5
testdata/Builtins.lc 485:42-485:43  V4
testdata/Builtins.lc 485:42-485:45  Type->Type
testdata/Builtins.lc 485:42-485:59  Type
testdata/Builtins.lc 485:42-485:80  Type
testdata/Builtins.lc 485:44-485:45  Type -> Type->Type
testdata/Builtins.lc 485:46-485:55  Nat -> Type->Type
testdata/Builtins.lc 485:46-485:57  Type->Type
testdata/Builtins.lc 485:46-485:59  Type
testdata/Builtins.lc 485:56-485:57  V2
testdata/Builtins.lc 485:58-485:59  Type
testdata/Builtins.lc 485:64-485:65  Type
testdata/Builtins.lc 485:64-485:80  Type
testdata/Builtins.lc 485:69-485:70  Type
testdata/Builtins.lc 485:69-485:80  Type
testdata/Builtins.lc 485:74-485:75  Type
testdata/Builtins.lc 485:74-485:80  Type
testdata/Builtins.lc 485:79-485:80  Type
testdata/Builtins.lc 486:1-486:11  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a -> a->b
testdata/Builtins.lc 486:34-486:80  Type
testdata/Builtins.lc 486:35-486:38  Type->Type
testdata/Builtins.lc 486:35-486:40  Type
testdata/Builtins.lc 486:39-486:40  V5
testdata/Builtins.lc 486:42-486:43  V4
testdata/Builtins.lc 486:42-486:45  Type->Type
testdata/Builtins.lc 486:42-486:59  Type
testdata/Builtins.lc 486:42-486:80  Type
testdata/Builtins.lc 486:44-486:45  Type -> Type->Type
testdata/Builtins.lc 486:46-486:55  Nat -> Type->Type
testdata/Builtins.lc 486:46-486:57  Type->Type
testdata/Builtins.lc 486:46-486:59  Type
testdata/Builtins.lc 486:56-486:57  V2
testdata/Builtins.lc 486:58-486:59  Type
testdata/Builtins.lc 486:64-486:65  Type
testdata/Builtins.lc 486:64-486:80  Type
testdata/Builtins.lc 486:69-486:70  Type
testdata/Builtins.lc 486:69-486:80  Type
testdata/Builtins.lc 486:74-486:75  Type
testdata/Builtins.lc 486:74-486:80  Type
testdata/Builtins.lc 486:79-486:80  Type
testdata/Builtins.lc 487:1-487:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 487:34-487:57  Type
testdata/Builtins.lc 487:34-487:77  Type
testdata/Builtins.lc 487:35-487:36  V3
testdata/Builtins.lc 487:35-487:38  Type->Type
testdata/Builtins.lc 487:37-487:38  Type -> Type->Type
testdata/Builtins.lc 487:39-487:48  Nat -> Type->Type
testdata/Builtins.lc 487:39-487:50  Type->Type
testdata/Builtins.lc 487:39-487:56  Type
testdata/Builtins.lc 487:49-487:50  V1
testdata/Builtins.lc 487:51-487:56  Type
testdata/Builtins.lc 487:61-487:62  Type
testdata/Builtins.lc 487:61-487:77  Type
testdata/Builtins.lc 487:66-487:67  Type
testdata/Builtins.lc 487:66-487:77  Type
testdata/Builtins.lc 487:71-487:72  Type
testdata/Builtins.lc 487:71-487:77  Type
testdata/Builtins.lc 487:76-487:77  Type
testdata/Builtins.lc 488:1-488:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> Float->a
testdata/Builtins.lc 488:34-488:57  Type
testdata/Builtins.lc 488:34-488:81  Type
testdata/Builtins.lc 488:35-488:36  V3
testdata/Builtins.lc 488:35-488:38  Type->Type
testdata/Builtins.lc 488:37-488:38  Type -> Type->Type
testdata/Builtins.lc 488:39-488:48  Nat -> Type->Type
testdata/Builtins.lc 488:39-488:50  Type->Type
testdata/Builtins.lc 488:39-488:56  Type
testdata/Builtins.lc 488:49-488:50  V1
testdata/Builtins.lc 488:51-488:56  Type
testdata/Builtins.lc 488:61-488:62  Type
testdata/Builtins.lc 488:61-488:81  Type
testdata/Builtins.lc 488:66-488:67  Type
testdata/Builtins.lc 488:66-488:81  Type
testdata/Builtins.lc 488:71-488:76  Type
testdata/Builtins.lc 488:71-488:81  Type
testdata/Builtins.lc 488:80-488:81  Type
testdata/Builtins.lc 489:1-489:9  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a -> a -> c->a
testdata/Builtins.lc 489:34-489:99  Type
testdata/Builtins.lc 489:35-489:36  V5
testdata/Builtins.lc 489:35-489:38  Type->Type
testdata/Builtins.lc 489:35-489:56  Type
testdata/Builtins.lc 489:37-489:38  Type -> Type->Type
testdata/Builtins.lc 489:39-489:48  Nat -> Type->Type
testdata/Builtins.lc 489:39-489:50  Type->Type
testdata/Builtins.lc 489:39-489:56  Type
testdata/Builtins.lc 489:49-489:50  V3
testdata/Builtins.lc 489:51-489:56  Type
testdata/Builtins.lc 489:58-489:59  V2
testdata/Builtins.lc 489:58-489:61  Type->Type
testdata/Builtins.lc 489:58-489:78  Type
testdata/Builtins.lc 489:58-489:99  Type
testdata/Builtins.lc 489:60-489:61  Type -> Type->Type
testdata/Builtins.lc 489:62-489:71  Nat -> Type->Type
testdata/Builtins.lc 489:62-489:73  Type->Type
testdata/Builtins.lc 489:62-489:78  Type
testdata/Builtins.lc 489:72-489:73  Nat
testdata/Builtins.lc 489:74-489:78  Type
testdata/Builtins.lc 489:83-489:84  Type
testdata/Builtins.lc 489:83-489:99  Type
testdata/Builtins.lc 489:88-489:89  Type
testdata/Builtins.lc 489:88-489:99  Type
testdata/Builtins.lc 489:93-489:94  Type
testdata/Builtins.lc 489:93-489:99  Type
testdata/Builtins.lc 489:98-489:99  Type
testdata/Builtins.lc 490:1-490:9  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a->a
testdata/Builtins.lc 490:34-490:53  Type
testdata/Builtins.lc 490:34-490:68  Type
testdata/Builtins.lc 490:35-490:36  V3
testdata/Builtins.lc 490:35-490:38  Type->Type
testdata/Builtins.lc 490:37-490:38  Type -> Type->Type
testdata/Builtins.lc 490:39-490:44  Nat -> Type->Type
testdata/Builtins.lc 490:39-490:46  Type->Type
testdata/Builtins.lc 490:39-490:52  Type
testdata/Builtins.lc 490:45-490:46  V1
testdata/Builtins.lc 490:47-490:52  Type
testdata/Builtins.lc 490:57-490:58  Type
testdata/Builtins.lc 490:57-490:68  Type
testdata/Builtins.lc 490:62-490:63  Type
testdata/Builtins.lc 490:62-490:68  Type
testdata/Builtins.lc 490:67-490:68  Type
testdata/Builtins.lc 491:1-491:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> a->a
testdata/Builtins.lc 491:34-491:57  Type
testdata/Builtins.lc 491:34-491:76  Type
testdata/Builtins.lc 491:35-491:36  V3
testdata/Builtins.lc 491:35-491:38  Type->Type
testdata/Builtins.lc 491:37-491:38  Type -> Type->Type
testdata/Builtins.lc 491:39-491:48  Nat -> Type->Type
testdata/Builtins.lc 491:39-491:50  Type->Type
testdata/Builtins.lc 491:39-491:56  Type
testdata/Builtins.lc 491:49-491:50  V1
testdata/Builtins.lc 491:51-491:56  Type
testdata/Builtins.lc 491:61-491:66  Type
testdata/Builtins.lc 491:61-491:76  Type
testdata/Builtins.lc 491:70-491:71  Type
testdata/Builtins.lc 491:70-491:76  Type
testdata/Builtins.lc 491:75-491:76  Type
testdata/Builtins.lc 492:1-492:15  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a -> a->a
testdata/Builtins.lc 492:34-492:53  Type
testdata/Builtins.lc 492:34-492:73  Type
testdata/Builtins.lc 492:35-492:36  V3
testdata/Builtins.lc 492:35-492:38  Type->Type
testdata/Builtins.lc 492:37-492:38  Type -> Type->Type
testdata/Builtins.lc 492:39-492:44  Nat -> Type->Type
testdata/Builtins.lc 492:39-492:46  Type->Type
testdata/Builtins.lc 492:39-492:52  Type
testdata/Builtins.lc 492:45-492:46  V1
testdata/Builtins.lc 492:47-492:52  Type
testdata/Builtins.lc 492:57-492:58  Type
testdata/Builtins.lc 492:57-492:73  Type
testdata/Builtins.lc 492:62-492:63  Type
testdata/Builtins.lc 492:62-492:73  Type
testdata/Builtins.lc 492:67-492:68  Type
testdata/Builtins.lc 492:67-492:73  Type
testdata/Builtins.lc 492:72-492:73  Type
testdata/Builtins.lc 493:1-493:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> Float -> a->a
testdata/Builtins.lc 493:34-493:57  Type
testdata/Builtins.lc 493:34-493:85  Type
testdata/Builtins.lc 493:35-493:36  V3
testdata/Builtins.lc 493:35-493:38  Type->Type
testdata/Builtins.lc 493:37-493:38  Type -> Type->Type
testdata/Builtins.lc 493:39-493:48  Nat -> Type->Type
testdata/Builtins.lc 493:39-493:50  Type->Type
testdata/Builtins.lc 493:39-493:56  Type
testdata/Builtins.lc 493:49-493:50  V1
testdata/Builtins.lc 493:51-493:56  Type
testdata/Builtins.lc 493:61-493:66  Type
testdata/Builtins.lc 493:61-493:85  Type
testdata/Builtins.lc 493:70-493:75  Type
testdata/Builtins.lc 493:70-493:85  Type
testdata/Builtins.lc 493:79-493:80  Type
testdata/Builtins.lc 493:79-493:85  Type
testdata/Builtins.lc 493:84-493:85  Type
testdata/Builtins.lc 496:1-496:19  {a:Nat} -> VecScalar a Float -> VecScalar a Int
testdata/Builtins.lc 496:34-496:43  Nat -> Type->Type
testdata/Builtins.lc 496:34-496:45  Type->Type
testdata/Builtins.lc 496:34-496:51  Type
testdata/Builtins.lc 496:34-496:70  Type
testdata/Builtins.lc 496:44-496:45  V1
testdata/Builtins.lc 496:46-496:51  Type
testdata/Builtins.lc 496:55-496:64  Nat -> Type->Type
testdata/Builtins.lc 496:55-496:66  Type->Type
testdata/Builtins.lc 496:55-496:70  Type
testdata/Builtins.lc 496:65-496:66  Nat
testdata/Builtins.lc 496:67-496:70  Type
testdata/Builtins.lc 497:1-497:20  {a:Nat} -> VecScalar a Float -> VecScalar a Word
testdata/Builtins.lc 497:34-497:43  Nat -> Type->Type
testdata/Builtins.lc 497:34-497:45  Type->Type
testdata/Builtins.lc 497:34-497:51  Type
testdata/Builtins.lc 497:34-497:71  Type
testdata/Builtins.lc 497:44-497:45  V1
testdata/Builtins.lc 497:46-497:51  Type
testdata/Builtins.lc 497:55-497:64  Nat -> Type->Type
testdata/Builtins.lc 497:55-497:66  Type->Type
testdata/Builtins.lc 497:55-497:71  Type
testdata/Builtins.lc 497:65-497:66  Nat
testdata/Builtins.lc 497:67-497:71  Type
testdata/Builtins.lc 498:1-498:19  {a:Nat} -> VecScalar a Int -> VecScalar a Float
testdata/Builtins.lc 498:34-498:43  Nat -> Type->Type
testdata/Builtins.lc 498:34-498:45  Type->Type
testdata/Builtins.lc 498:34-498:49  Type
testdata/Builtins.lc 498:34-498:72  Type
testdata/Builtins.lc 498:44-498:45  V1
testdata/Builtins.lc 498:46-498:49  Type
testdata/Builtins.lc 498:55-498:64  Nat -> Type->Type
testdata/Builtins.lc 498:55-498:66  Type->Type
testdata/Builtins.lc 498:55-498:72  Type
testdata/Builtins.lc 498:65-498:66  Nat
testdata/Builtins.lc 498:67-498:72  Type
testdata/Builtins.lc 499:1-499:20  {a:Nat} -> VecScalar a Word -> VecScalar a Float
testdata/Builtins.lc 499:34-499:43  Nat -> Type->Type
testdata/Builtins.lc 499:34-499:45  Type->Type
testdata/Builtins.lc 499:34-499:50  Type
testdata/Builtins.lc 499:34-499:72  Type
testdata/Builtins.lc 499:44-499:45  V1
testdata/Builtins.lc 499:46-499:50  Type
testdata/Builtins.lc 499:55-499:64  Nat -> Type->Type
testdata/Builtins.lc 499:55-499:66  Type->Type
testdata/Builtins.lc 499:55-499:72  Type
testdata/Builtins.lc 499:65-499:66  Nat
testdata/Builtins.lc 499:67-499:72  Type
testdata/Builtins.lc 501:1-501:11  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->Float
testdata/Builtins.lc 501:34-501:57  Type
testdata/Builtins.lc 501:34-501:71  Type
testdata/Builtins.lc 501:35-501:36  V3
testdata/Builtins.lc 501:35-501:38  Type->Type
testdata/Builtins.lc 501:37-501:38  Type -> Type->Type
testdata/Builtins.lc 501:39-501:48  Nat -> Type->Type
testdata/Builtins.lc 501:39-501:50  Type->Type
testdata/Builtins.lc 501:39-501:56  Type
testdata/Builtins.lc 501:49-501:50  V1
testdata/Builtins.lc 501:51-501:56  Type
testdata/Builtins.lc 501:61-501:62  Type
testdata/Builtins.lc 501:61-501:71  Type
testdata/Builtins.lc 501:66-501:71  Type
testdata/Builtins.lc 502:1-502:13  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 502:15-502:22  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 502:34-502:57  Type
testdata/Builtins.lc 502:34-502:76  Type
testdata/Builtins.lc 502:35-502:36  V3
testdata/Builtins.lc 502:35-502:38  Type->Type
testdata/Builtins.lc 502:37-502:38  Type -> Type->Type
testdata/Builtins.lc 502:39-502:48  Nat -> Type->Type
testdata/Builtins.lc 502:39-502:50  Type->Type
testdata/Builtins.lc 502:39-502:56  Type
testdata/Builtins.lc 502:49-502:50  V1
testdata/Builtins.lc 502:51-502:56  Type
testdata/Builtins.lc 502:61-502:62  Type
testdata/Builtins.lc 502:61-502:76  Type
testdata/Builtins.lc 502:66-502:67  Type
testdata/Builtins.lc 502:66-502:76  Type
testdata/Builtins.lc 502:71-502:76  Type
testdata/Builtins.lc 503:1-503:10  {a} -> {b : a ~ VecS Float 3} -> a -> a->a
testdata/Builtins.lc 503:34-503:57  Type
testdata/Builtins.lc 503:34-503:72  Type
testdata/Builtins.lc 503:35-503:36  V1
testdata/Builtins.lc 503:35-503:38  Type->Type
testdata/Builtins.lc 503:37-503:38  Type -> Type->Type
testdata/Builtins.lc 503:39-503:48  Nat -> Type->Type
testdata/Builtins.lc 503:39-503:50  Type->Type
testdata/Builtins.lc 503:39-503:56  Type
testdata/Builtins.lc 503:49-503:50  V1
testdata/Builtins.lc 503:51-503:56  Type
testdata/Builtins.lc 503:61-503:62  Type
testdata/Builtins.lc 503:61-503:72  Type
testdata/Builtins.lc 503:66-503:67  Type
testdata/Builtins.lc 503:66-503:72  Type
testdata/Builtins.lc 503:71-503:72  Type
testdata/Builtins.lc 504:1-504:14  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 504:34-504:57  Type
testdata/Builtins.lc 504:34-504:67  Type
testdata/Builtins.lc 504:35-504:36  V3
testdata/Builtins.lc 504:35-504:38  Type->Type
testdata/Builtins.lc 504:37-504:38  Type -> Type->Type
testdata/Builtins.lc 504:39-504:48  Nat -> Type->Type
testdata/Builtins.lc 504:39-504:50  Type->Type
testdata/Builtins.lc 504:39-504:56  Type
testdata/Builtins.lc 504:49-504:50  V1
testdata/Builtins.lc 504:51-504:56  Type
testdata/Builtins.lc 504:61-504:62  Type
testdata/Builtins.lc 504:61-504:67  Type
testdata/Builtins.lc 504:66-504:67  Type
testdata/Builtins.lc 505:1-505:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 505:18-505:29  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 505:34-505:57  Type
testdata/Builtins.lc 505:34-505:77  Type
testdata/Builtins.lc 505:35-505:36  V3
testdata/Builtins.lc 505:35-505:38  Type->Type
testdata/Builtins.lc 505:37-505:38  Type -> Type->Type
testdata/Builtins.lc 505:39-505:48  Nat -> Type->Type
testdata/Builtins.lc 505:39-505:50  Type->Type
testdata/Builtins.lc 505:39-505:56  Type
testdata/Builtins.lc 505:49-505:50  V1
testdata/Builtins.lc 505:51-505:56  Type
testdata/Builtins.lc 505:61-505:62  Type
testdata/Builtins.lc 505:61-505:77  Type
testdata/Builtins.lc 505:66-505:67  Type
testdata/Builtins.lc 505:66-505:77  Type
testdata/Builtins.lc 505:71-505:72  Type
testdata/Builtins.lc 505:71-505:77  Type
testdata/Builtins.lc 505:76-505:77  Type
testdata/Builtins.lc 506:1-506:12  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 506:34-506:57  Type
testdata/Builtins.lc 506:34-506:72  Type
testdata/Builtins.lc 506:35-506:36  V3
testdata/Builtins.lc 506:35-506:38  Type->Type
testdata/Builtins.lc 506:37-506:38  Type -> Type->Type
testdata/Builtins.lc 506:39-506:48  Nat -> Type->Type
testdata/Builtins.lc 506:39-506:50  Type->Type
testdata/Builtins.lc 506:39-506:56  Type
testdata/Builtins.lc 506:49-506:50  V1
testdata/Builtins.lc 506:51-506:56  Type
testdata/Builtins.lc 506:61-506:62  Type
testdata/Builtins.lc 506:61-506:72  Type
testdata/Builtins.lc 506:66-506:67  Type
testdata/Builtins.lc 506:66-506:72  Type
testdata/Builtins.lc 506:71-506:72  Type
testdata/Builtins.lc 508:1-508:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c
testdata/Builtins.lc 508:34-508:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 508:34-508:39  Nat -> Type->Type
testdata/Builtins.lc 508:34-508:41  Type->Type
testdata/Builtins.lc 508:34-508:43  Type
testdata/Builtins.lc 508:34-508:56  Type
testdata/Builtins.lc 508:38-508:39  V5
testdata/Builtins.lc 508:40-508:41  V3
testdata/Builtins.lc 508:42-508:43  V1
testdata/Builtins.lc 508:47-508:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 508:47-508:52  Nat -> Type->Type
testdata/Builtins.lc 508:47-508:54  Type->Type
testdata/Builtins.lc 508:47-508:56  Type
testdata/Builtins.lc 508:51-508:52  Nat
testdata/Builtins.lc 508:53-508:54  Nat
testdata/Builtins.lc 508:55-508:56  Type
testdata/Builtins.lc 509:1-509:16  {a:Nat} -> {b} -> Mat a a b -> Float
testdata/Builtins.lc 509:34-509:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 509:34-509:39  Nat -> Type->Type
testdata/Builtins.lc 509:34-509:41  Type->Type
testdata/Builtins.lc 509:34-509:43  Type
testdata/Builtins.lc 509:34-509:52  Type
testdata/Builtins.lc 509:38-509:39  V3
testdata/Builtins.lc 509:40-509:41  Nat
testdata/Builtins.lc 509:42-509:43  V1
testdata/Builtins.lc 509:47-509:52  Type
testdata/Builtins.lc 510:1-510:12  {a:Nat} -> {b} -> Mat a a b -> Mat a a b
testdata/Builtins.lc 510:34-510:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 510:34-510:39  Nat -> Type->Type
testdata/Builtins.lc 510:34-510:41  Type->Type
testdata/Builtins.lc 510:34-510:43  Type
testdata/Builtins.lc 510:34-510:56  Type
testdata/Builtins.lc 510:38-510:39  V3
testdata/Builtins.lc 510:40-510:41  Nat
testdata/Builtins.lc 510:42-510:43  V1
testdata/Builtins.lc 510:47-510:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 510:47-510:52  Nat -> Type->Type
testdata/Builtins.lc 510:47-510:54  Type->Type
testdata/Builtins.lc 510:47-510:56  Type
testdata/Builtins.lc 510:51-510:52  Nat
testdata/Builtins.lc 510:53-510:54  Nat
testdata/Builtins.lc 510:55-510:56  Type
testdata/Builtins.lc 511:1-511:17  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> VecS b c -> Mat c a b
testdata/Builtins.lc 511:34-511:37  Nat -> Type->Type
testdata/Builtins.lc 511:34-511:39  Type->Type
testdata/Builtins.lc 511:34-511:41  Type
testdata/Builtins.lc 511:34-511:69  Type
testdata/Builtins.lc 511:38-511:39  V5
testdata/Builtins.lc 511:40-511:41  V3
testdata/Builtins.lc 511:47-511:50  Nat -> Type->Type
testdata/Builtins.lc 511:47-511:52  Type->Type
testdata/Builtins.lc 511:47-511:54  Type
testdata/Builtins.lc 511:47-511:69  Type
testdata/Builtins.lc 511:51-511:52  V2
testdata/Builtins.lc 511:53-511:54  Type
testdata/Builtins.lc 511:60-511:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 511:60-511:65  Nat -> Type->Type
testdata/Builtins.lc 511:60-511:67  Type->Type
testdata/Builtins.lc 511:60-511:69  Type
testdata/Builtins.lc 511:64-511:65  Nat
testdata/Builtins.lc 511:66-511:67  Nat
testdata/Builtins.lc 511:68-511:69  Type
testdata/Builtins.lc 512:1-512:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> VecS c a
testdata/Builtins.lc 512:34-512:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 512:34-512:39  Nat -> Type->Type
testdata/Builtins.lc 512:34-512:41  Type->Type
testdata/Builtins.lc 512:34-512:43  Type
testdata/Builtins.lc 512:34-512:67  Type
testdata/Builtins.lc 512:38-512:39  V5
testdata/Builtins.lc 512:40-512:41  V3
testdata/Builtins.lc 512:42-512:43  V1
testdata/Builtins.lc 512:47-512:50  Nat -> Type->Type
testdata/Builtins.lc 512:47-512:52  Type->Type
testdata/Builtins.lc 512:47-512:54  Type
testdata/Builtins.lc 512:47-512:67  Type
testdata/Builtins.lc 512:51-512:52  Nat
testdata/Builtins.lc 512:53-512:54  Type
testdata/Builtins.lc 512:60-512:63  Nat -> Type->Type
testdata/Builtins.lc 512:60-512:65  Type->Type
testdata/Builtins.lc 512:60-512:67  Type
testdata/Builtins.lc 512:64-512:65  Nat
testdata/Builtins.lc 512:66-512:67  Type
testdata/Builtins.lc 513:1-513:14  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> VecS b c
testdata/Builtins.lc 513:34-513:37  Nat -> Type->Type
testdata/Builtins.lc 513:34-513:39  Type->Type
testdata/Builtins.lc 513:34-513:41  Type
testdata/Builtins.lc 513:34-513:67  Type
testdata/Builtins.lc 513:38-513:39  V5
testdata/Builtins.lc 513:40-513:41  V3
testdata/Builtins.lc 513:47-513:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 513:47-513:52  Nat -> Type->Type
testdata/Builtins.lc 513:47-513:54  Type->Type
testdata/Builtins.lc 513:47-513:56  Type
testdata/Builtins.lc 513:47-513:67  Type
testdata/Builtins.lc 513:51-513:52  Nat
testdata/Builtins.lc 513:53-513:54  V2
testdata/Builtins.lc 513:55-513:56  Type
testdata/Builtins.lc 513:60-513:63  Nat -> Type->Type
testdata/Builtins.lc 513:60-513:65  Type->Type
testdata/Builtins.lc 513:60-513:67  Type
testdata/Builtins.lc 513:64-513:65  Nat
testdata/Builtins.lc 513:66-513:67  Type
testdata/Builtins.lc 514:1-514:14  {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
testdata/Builtins.lc 514:34-514:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 514:34-514:39  Nat -> Type->Type
testdata/Builtins.lc 514:34-514:41  Type->Type
testdata/Builtins.lc 514:34-514:43  Type
testdata/Builtins.lc 514:34-514:69  Type
testdata/Builtins.lc 514:38-514:39  V7
testdata/Builtins.lc 514:40-514:41  V5
testdata/Builtins.lc 514:42-514:43  V3
testdata/Builtins.lc 514:47-514:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 514:47-514:52  Nat -> Type->Type
testdata/Builtins.lc 514:47-514:54  Type->Type
testdata/Builtins.lc 514:47-514:56  Type
testdata/Builtins.lc 514:47-514:69  Type
testdata/Builtins.lc 514:51-514:52  Nat
testdata/Builtins.lc 514:53-514:54  V2
testdata/Builtins.lc 514:55-514:56  Type
testdata/Builtins.lc 514:60-514:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 514:60-514:65  Nat -> Type->Type
testdata/Builtins.lc 514:60-514:67  Type->Type
testdata/Builtins.lc 514:60-514:69  Type
testdata/Builtins.lc 514:64-514:65  Nat
testdata/Builtins.lc 514:66-514:67  Nat
testdata/Builtins.lc 514:68-514:69  Type
testdata/Builtins.lc 516:1-516:13  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 516:15-516:32  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 516:34-516:49  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 516:51-516:71  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 516:73-516:83  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 516:85-516:98  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 517:34-517:97  Type
testdata/Builtins.lc 517:35-517:38  Type->Type
testdata/Builtins.lc 517:35-517:40  Type
testdata/Builtins.lc 517:39-517:40  V7
testdata/Builtins.lc 517:42-517:43  V6
testdata/Builtins.lc 517:42-517:45  Type->Type
testdata/Builtins.lc 517:42-517:59  Type
testdata/Builtins.lc 517:42-517:97  Type
testdata/Builtins.lc 517:44-517:45  Type -> Type->Type
testdata/Builtins.lc 517:46-517:55  Nat -> Type->Type
testdata/Builtins.lc 517:46-517:57  Type->Type
testdata/Builtins.lc 517:46-517:59  Type
testdata/Builtins.lc 517:56-517:57  V4
testdata/Builtins.lc 517:58-517:59  Type
testdata/Builtins.lc 517:61-517:62  V3
testdata/Builtins.lc 517:61-517:64  Type->Type
testdata/Builtins.lc 517:61-517:81  Type
testdata/Builtins.lc 517:61-517:97  Type
testdata/Builtins.lc 517:63-517:64  Type -> Type->Type
testdata/Builtins.lc 517:65-517:74  Nat -> Type->Type
testdata/Builtins.lc 517:65-517:76  Type->Type
testdata/Builtins.lc 517:65-517:81  Type
testdata/Builtins.lc 517:75-517:76  Nat
testdata/Builtins.lc 517:77-517:81  Type
testdata/Builtins.lc 517:86-517:87  Type
testdata/Builtins.lc 517:86-517:97  Type
testdata/Builtins.lc 517:91-517:92  Type
testdata/Builtins.lc 517:91-517:97  Type
testdata/Builtins.lc 517:96-517:97  Type
testdata/Builtins.lc 518:1-518:10  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> b -> b->Bool
testdata/Builtins.lc 518:12-518:24  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> b -> b->Bool
testdata/Builtins.lc 518:34-518:58  Type
testdata/Builtins.lc 518:34-518:76  Type
testdata/Builtins.lc 518:35-518:36  V3
testdata/Builtins.lc 518:35-518:38  Type->Type
testdata/Builtins.lc 518:37-518:38  Type -> Type->Type
testdata/Builtins.lc 518:39-518:55  Type->Type
testdata/Builtins.lc 518:39-518:57  Type
testdata/Builtins.lc 518:56-518:57  V1
testdata/Builtins.lc 518:62-518:63  Type
testdata/Builtins.lc 518:62-518:76  Type
testdata/Builtins.lc 518:67-518:68  Type
testdata/Builtins.lc 518:67-518:76  Type
testdata/Builtins.lc 518:72-518:76  Type
testdata/Builtins.lc 520:1-520:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 520:11-520:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 520:21-520:31  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 521:34-521:57  Type
testdata/Builtins.lc 521:34-521:67  Type
testdata/Builtins.lc 521:35-521:36  V3
testdata/Builtins.lc 521:35-521:38  Type->Type
testdata/Builtins.lc 521:37-521:38  Type -> Type->Type
testdata/Builtins.lc 521:39-521:48  Nat -> Type->Type
testdata/Builtins.lc 521:39-521:50  Type->Type
testdata/Builtins.lc 521:39-521:56  Type
testdata/Builtins.lc 521:49-521:50  V1
testdata/Builtins.lc 521:51-521:56  Type
testdata/Builtins.lc 521:61-521:62  Type
testdata/Builtins.lc 521:61-521:67  Type
testdata/Builtins.lc 521:66-521:67  Type
testdata/Builtins.lc 523:1-523:11  {a:Nat} -> VecScalar a Float -> Float
testdata/Builtins.lc 523:34-523:43  Nat -> Type->Type
testdata/Builtins.lc 523:34-523:45  Type->Type
testdata/Builtins.lc 523:34-523:51  Type
testdata/Builtins.lc 523:34-523:60  Type
testdata/Builtins.lc 523:44-523:45  V1
testdata/Builtins.lc 523:46-523:51  Type
testdata/Builtins.lc 523:55-523:60  Type
testdata/Builtins.lc 524:1-524:11  {a:Nat} -> VecScalar a Float -> VecS Float 2
testdata/Builtins.lc 524:34-524:43  Nat -> Type->Type
testdata/Builtins.lc 524:34-524:45  Type->Type
testdata/Builtins.lc 524:34-524:51  Type
testdata/Builtins.lc 524:34-524:66  Type
testdata/Builtins.lc 524:44-524:45  V1
testdata/Builtins.lc 524:46-524:51  Type
testdata/Builtins.lc 524:55-524:58  Nat -> Type->Type
testdata/Builtins.lc 524:55-524:60  Type->Type
testdata/Builtins.lc 524:55-524:66  Type
testdata/Builtins.lc 524:59-524:60  V1
testdata/Builtins.lc 524:61-524:66  Type
testdata/Builtins.lc 525:1-525:11  {a:Nat} -> VecScalar a Float -> VecS Float 3
testdata/Builtins.lc 525:34-525:43  Nat -> Type->Type
testdata/Builtins.lc 525:34-525:45  Type->Type
testdata/Builtins.lc 525:34-525:51  Type
testdata/Builtins.lc 525:34-525:66  Type
testdata/Builtins.lc 525:44-525:45  V1
testdata/Builtins.lc 525:46-525:51  Type
testdata/Builtins.lc 525:55-525:58  Nat -> Type->Type
testdata/Builtins.lc 525:55-525:60  Type->Type
testdata/Builtins.lc 525:55-525:66  Type
testdata/Builtins.lc 525:59-525:60  V1
testdata/Builtins.lc 525:61-525:66  Type
testdata/Builtins.lc 526:1-526:11  {a:Nat} -> VecScalar a Float -> VecS Float 4
testdata/Builtins.lc 526:34-526:43  Nat -> Type->Type
testdata/Builtins.lc 526:34-526:45  Type->Type
testdata/Builtins.lc 526:34-526:51  Type
testdata/Builtins.lc 526:34-526:66  Type
testdata/Builtins.lc 526:44-526:45  V1
testdata/Builtins.lc 526:46-526:51  Type
testdata/Builtins.lc 526:55-526:58  Nat -> Type->Type
testdata/Builtins.lc 526:55-526:60  Type->Type
testdata/Builtins.lc 526:55-526:66  Type
testdata/Builtins.lc 526:59-526:60  V1
testdata/Builtins.lc 526:61-526:66  Type
testdata/Builtins.lc 542:6-542:13  Type
testdata/Builtins.lc 542:6-546:12  Type
testdata/Builtins.lc 543:3-543:16  String->Texture | Texture | Type
testdata/Builtins.lc 543:20-543:26  Type
testdata/Builtins.lc 544:20-544:27  Type
testdata/Builtins.lc 546:3-546:12  Texture | Type | VecS Int 2 -> Image 1 (Color (VecS Float 4)) -> Texture
testdata/Builtins.lc 546:20-546:23  Nat -> Type->Type
testdata/Builtins.lc 546:20-546:25  Type->Type
testdata/Builtins.lc 546:20-546:29  Type
testdata/Builtins.lc 546:24-546:25  V1
testdata/Builtins.lc 546:26-546:29  Type
testdata/Builtins.lc 547:20-547:25  Nat -> Type->Type
testdata/Builtins.lc 547:20-547:27  Type->Type
testdata/Builtins.lc 547:20-547:49  Type
testdata/Builtins.lc 547:20-548:27  Type
testdata/Builtins.lc 547:26-547:27  V1
testdata/Builtins.lc 547:28-547:49  Type
testdata/Builtins.lc 547:29-547:34  Type->Type
testdata/Builtins.lc 547:35-547:48  Type
testdata/Builtins.lc 547:36-547:39  Nat -> Type->Type
testdata/Builtins.lc 547:36-547:41  Type->Type
testdata/Builtins.lc 547:40-547:41  V1
testdata/Builtins.lc 547:42-547:47  Type
testdata/Builtins.lc 548:20-548:27  Type
testdata/Builtins.lc 550:6-550:12  Type
testdata/Builtins.lc 550:6-552:17  Type
testdata/Builtins.lc 551:5-551:16  Filter
testdata/Builtins.lc 552:5-552:17  Filter
testdata/Builtins.lc 554:6-554:14  Type
testdata/Builtins.lc 554:6-557:16  Type
testdata/Builtins.lc 555:5-555:11  EdgeMode
testdata/Builtins.lc 556:5-556:19  EdgeMode
testdata/Builtins.lc 557:5-557:16  EdgeMode
testdata/Builtins.lc 559:6-559:13  Type
testdata/Builtins.lc 559:6-559:23  Type
testdata/Builtins.lc 559:6-559:47  Type
testdata/Builtins.lc 559:16-559:23  Filter -> EdgeMode -> Texture->Sampler | Sampler | Type
testdata/Builtins.lc 559:24-559:30  Type
testdata/Builtins.lc 559:31-559:39  Type
testdata/Builtins.lc 559:40-559:47  Type
testdata/Builtins.lc 562:1-562:10  Sampler -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 562:14-562:21  Type
testdata/Builtins.lc 562:25-562:28  Nat -> Type->Type
testdata/Builtins.lc 562:25-562:30  Type->Type
testdata/Builtins.lc 562:25-562:36  Type
testdata/Builtins.lc 562:25-562:51  Type
testdata/Builtins.lc 562:29-562:30  V1
testdata/Builtins.lc 562:31-562:36  Type
testdata/Builtins.lc 562:40-562:43  Nat -> Type->Type
testdata/Builtins.lc 562:40-562:45  Type->Type
testdata/Builtins.lc 562:40-562:51  Type
testdata/Builtins.lc 562:44-562:45  V1
testdata/Builtins.lc 562:46-562:51  Type
testdata/Builtins.lc 565:1-565:15  {a} -> {b} -> a -> b -> Tuple2 a b
testdata/Builtins.lc 565:24-565:32  Tuple2 V3 V1
testdata/Builtins.lc 565:25-565:28  V5
testdata/Builtins.lc 565:30-565:31  V2
testdata/Builtins.lc 566:1-566:8  {a:Nat} -> {b} -> FrameBuffer a b -> Tuple2 (FragOps' b) (List (Vector a (Maybe (SimpleFragment (RemSemantics b))))) -> FrameBuffer a b
testdata/Builtins.lc 566:13-566:21  V3
testdata/Builtins.lc 566:13-566:46  FrameBuffer V1 V0
testdata/Builtins.lc 566:25-566:35  {a:Nat} -> {b} -> FragOps' b -> List (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 566:25-566:39  List (Vector V1 (Maybe (SimpleFragment (RemSemantics V0)))) -> FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 566:25-566:43  FrameBuffer V1 V0 -> FrameBuffer V2 V1
testdata/Builtins.lc 566:25-566:46  FrameBuffer V1 V0 | V2 -> V2->V2 | V2->V2
testdata/Builtins.lc 566:36-566:39  V6
testdata/Builtins.lc 566:40-566:43  V5
testdata/Builtins.lc 566:44-566:46  V7
testdata/Builtins.lc 567:1-567:12  {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 567:15-567:24  {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 568:1-568:11  {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 568:14-568:25  {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 569:1-569:16  Float -> Image 1 (Depth Float)
testdata/Builtins.lc 569:19-569:29  {a:Nat} -> Float -> Image a (Depth Float)
testdata/Builtins.lc 569:19-569:32  Float -> Image 1 (Depth Float)
testdata/Builtins.lc 569:31-569:32  V1
testdata/Builtins.lc 570:1-570:16  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 (Color c)
testdata/Builtins.lc 570:19-570:29  {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a (Color d)
testdata/Builtins.lc 570:19-570:32  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 (Color c)
testdata/Builtins.lc 570:31-570:32  V1