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 18:6-18:10  Type | Type -> Nat->Type
testdata/Builtins.lc 18:6-21:37  Type
testdata/Builtins.lc 18:17-18:21  Type
testdata/Builtins.lc 18:26-18:29  Type
testdata/Builtins.lc 18:26-18:37  Type
testdata/Builtins.lc 18:33-18:37  Type
testdata/Builtins.lc 19:3-19:5  VecS V3 2 | {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 19:3-19:27  Type
testdata/Builtins.lc 19:9-19:10  Type
testdata/Builtins.lc 19:9-19:27  Type
testdata/Builtins.lc 19:14-19:15  Type
testdata/Builtins.lc 19:14-19:27  Type
testdata/Builtins.lc 19:19-19:23  Type -> Nat->Type
testdata/Builtins.lc 19:19-19:25  Nat->Type
testdata/Builtins.lc 19:19-19:27  Type
testdata/Builtins.lc 19:24-19:25  Type
testdata/Builtins.lc 19:26-19:27  V1
testdata/Builtins.lc 20:3-20:5  VecS V5 3 | {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 20:3-20:32  Type
testdata/Builtins.lc 20:9-20:10  Type
testdata/Builtins.lc 20:9-20:32  Type
testdata/Builtins.lc 20:14-20:15  Type
testdata/Builtins.lc 20:14-20:32  Type
testdata/Builtins.lc 20:19-20:20  Type
testdata/Builtins.lc 20:19-20:32  Type
testdata/Builtins.lc 20:24-20:28  Type -> Nat->Type
testdata/Builtins.lc 20:24-20:30  Nat->Type
testdata/Builtins.lc 20:24-20:32  Type
testdata/Builtins.lc 20:29-20:30  Type
testdata/Builtins.lc 20:31-20:32  V1
testdata/Builtins.lc 21:3-21:5  VecS V7 4 | {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 21:3-21:37  Type
testdata/Builtins.lc 21:9-21:10  Type
testdata/Builtins.lc 21:9-21:37  Type
testdata/Builtins.lc 21:14-21:15  Type
testdata/Builtins.lc 21:14-21:37  Type
testdata/Builtins.lc 21:19-21:20  Type
testdata/Builtins.lc 21:19-21:37  Type
testdata/Builtins.lc 21:24-21:25  Type
testdata/Builtins.lc 21:24-21:37  Type
testdata/Builtins.lc 21:29-21:33  Type -> Nat->Type
testdata/Builtins.lc 21:29-21:35  Nat->Type
testdata/Builtins.lc 21:29-21:37  Type
testdata/Builtins.lc 21:34-21:35  Type
testdata/Builtins.lc 21:36-21:37  V1
testdata/Builtins.lc 23:23-23:26  Type
testdata/Builtins.lc 23:37-23:40  Nat -> Type->Type
testdata/Builtins.lc 23:47-23:51  Type -> Nat->Type
testdata/Builtins.lc 23:47-23:53  Nat->Type
testdata/Builtins.lc 23:47-23:55  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 23:52-23:53  Type
testdata/Builtins.lc 23:54-23:55  Nat
testdata/Builtins.lc 25:29-25:32  Type
testdata/Builtins.lc 26:5-26:14  Nat -> Type->Type
testdata/Builtins.lc 26:21-26:22  Type
testdata/Builtins.lc 26:21-27:60  Nat -> Type->Type | Nat->Type | Type->Type
testdata/Builtins.lc 27:37-27:40  Nat -> Type->Type
testdata/Builtins.lc 27:37-27:58  Type->Type
testdata/Builtins.lc 27:37-27:60  Nat->Type | Type
testdata/Builtins.lc 27:41-27:58  Nat
testdata/Builtins.lc 27:42-27:47  Nat->Nat
testdata/Builtins.lc 27:48-27:57  Nat
testdata/Builtins.lc 27:49-27:54  Nat->Nat
testdata/Builtins.lc 27:55-27:56  Nat
testdata/Builtins.lc 27:59-27:60  Type
testdata/Builtins.lc 30:25-30:28  Type
testdata/Builtins.lc 31:5-31:10  Nat -> Type->Type
testdata/Builtins.lc 31:17-31:20  Nat -> Type->Type
testdata/Builtins.lc 31:17-31:22  Type->Type
testdata/Builtins.lc 31:17-31:24  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 31:21-31:22  Nat
testdata/Builtins.lc 31:23-31:24  Type
testdata/Builtins.lc 34:6-34:9  Nat -> Nat -> Type->Type | Type
testdata/Builtins.lc 34:6-43:84  Type
testdata/Builtins.lc 34:13-34:16  Type
testdata/Builtins.lc 34:20-34:23  Type
testdata/Builtins.lc 34:20-34:39  Type
testdata/Builtins.lc 34:27-34:31  Type
testdata/Builtins.lc 34:27-34:39  Type
testdata/Builtins.lc 34:35-34:39  Type
testdata/Builtins.lc 35:3-35:7  Mat 2 2 Float | VecS Float 2 -> VecS Float 2 -> Mat 2 2 Float
testdata/Builtins.lc 35:3-35:54  Type
testdata/Builtins.lc 35:11-35:14  Nat -> Type->Type
testdata/Builtins.lc 35:11-35:16  Type->Type
testdata/Builtins.lc 35:11-35:22  Type
testdata/Builtins.lc 35:15-35:16  V1
testdata/Builtins.lc 35:17-35:22  Type
testdata/Builtins.lc 35:26-35:29  Nat -> Type->Type
testdata/Builtins.lc 35:26-35:31  Type->Type
testdata/Builtins.lc 35:26-35:37  Type
testdata/Builtins.lc 35:26-35:54  Type
testdata/Builtins.lc 35:30-35:31  V1
testdata/Builtins.lc 35:32-35:37  Type
testdata/Builtins.lc 35:41-35:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 35:41-35:46  Nat -> Type->Type
testdata/Builtins.lc 35:41-35:48  Type->Type
testdata/Builtins.lc 35:41-35:54  Type
testdata/Builtins.lc 35:45-35:46  V1
testdata/Builtins.lc 35:45-35:48  a:Type -> Mat 2 2 a -> Type
testdata/Builtins.lc 35:45-35:54  Mat 2 2 Float -> Type
testdata/Builtins.lc 35:47-35:48  V1
testdata/Builtins.lc 35:49-35:54  Type
testdata/Builtins.lc 36:3-36:7  Mat 3 2 Float | VecS Float 3 -> VecS Float 3 -> Mat 3 2 Float
testdata/Builtins.lc 36:3-36:54  Type
testdata/Builtins.lc 36:11-36:14  Nat -> Type->Type
testdata/Builtins.lc 36:11-36:16  Type->Type
testdata/Builtins.lc 36:11-36:22  Type
testdata/Builtins.lc 36:15-36:16  V1
testdata/Builtins.lc 36:17-36:22  Type
testdata/Builtins.lc 36:26-36:29  Nat -> Type->Type
testdata/Builtins.lc 36:26-36:31  Type->Type
testdata/Builtins.lc 36:26-36:37  Type
testdata/Builtins.lc 36:26-36:54  Type
testdata/Builtins.lc 36:30-36:31  V1
testdata/Builtins.lc 36:32-36:37  Type
testdata/Builtins.lc 36:41-36:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 36:41-36:46  Nat -> Type->Type
testdata/Builtins.lc 36:41-36:48  Type->Type
testdata/Builtins.lc 36:41-36:54  Type
testdata/Builtins.lc 36:45-36:46  V1
testdata/Builtins.lc 36:45-36:48  a:Type -> Mat 3 2 a -> Type
testdata/Builtins.lc 36:45-36:54  Mat 3 2 Float -> Type
testdata/Builtins.lc 36:47-36:48  V1
testdata/Builtins.lc 36:49-36:54  Type
testdata/Builtins.lc 37:3-37:7  Mat 4 2 Float | VecS Float 4 -> VecS Float 4 -> Mat 4 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 4 2 a -> Type
testdata/Builtins.lc 37:45-37:54  Mat 4 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 2 3 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 3 Float
testdata/Builtins.lc 38:3-38:69  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:69  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 -> Type->Type
testdata/Builtins.lc 38:41-38:46  Type->Type
testdata/Builtins.lc 38:41-38:52  Type
testdata/Builtins.lc 38:41-38:69  Type
testdata/Builtins.lc 38:45-38:46  V1
testdata/Builtins.lc 38:47-38:52  Type
testdata/Builtins.lc 38:56-38:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 38:56-38:61  Nat -> Type->Type
testdata/Builtins.lc 38:56-38:63  Type->Type
testdata/Builtins.lc 38:56-38:69  Type
testdata/Builtins.lc 38:60-38:61  V1
testdata/Builtins.lc 38:60-38:63  a:Type -> Mat 2 3 a -> Type
testdata/Builtins.lc 38:60-38:69  Mat 2 3 Float -> Type
testdata/Builtins.lc 38:62-38:63  V1
testdata/Builtins.lc 38:64-38:69  Type
testdata/Builtins.lc 39:3-39:7  Mat 3 3 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 3 Float
testdata/Builtins.lc 39:3-39:69  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:69  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 -> Type->Type
testdata/Builtins.lc 39:41-39:46  Type->Type
testdata/Builtins.lc 39:41-39:52  Type
testdata/Builtins.lc 39:41-39:69  Type
testdata/Builtins.lc 39:45-39:46  V1
testdata/Builtins.lc 39:47-39:52  Type
testdata/Builtins.lc 39:56-39:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 39:56-39:61  Nat -> Type->Type
testdata/Builtins.lc 39:56-39:63  Type->Type
testdata/Builtins.lc 39:56-39:69  Type
testdata/Builtins.lc 39:60-39:61  V1
testdata/Builtins.lc 39:60-39:63  a:Type -> Mat 3 3 a -> Type
testdata/Builtins.lc 39:60-39:69  Mat 3 3 Float -> Type
testdata/Builtins.lc 39:62-39:63  V1
testdata/Builtins.lc 39:64-39:69  Type
testdata/Builtins.lc 40:3-40:7  Mat 4 3 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 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 4 3 a -> Type
testdata/Builtins.lc 40:60-40:69  Mat 4 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 2 4 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 4 Float
testdata/Builtins.lc 41:3-41:84  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:84  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:84  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 -> Type->Type
testdata/Builtins.lc 41:56-41:61  Type->Type
testdata/Builtins.lc 41:56-41:67  Type
testdata/Builtins.lc 41:56-41:84  Type
testdata/Builtins.lc 41:60-41:61  V1
testdata/Builtins.lc 41:62-41:67  Type
testdata/Builtins.lc 41:71-41:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 41:71-41:76  Nat -> Type->Type
testdata/Builtins.lc 41:71-41:78  Type->Type
testdata/Builtins.lc 41:71-41:84  Type
testdata/Builtins.lc 41:75-41:76  V1
testdata/Builtins.lc 41:75-41:78  a:Type -> Mat 2 4 a -> Type
testdata/Builtins.lc 41:75-41:84  Mat 2 4 Float -> Type
testdata/Builtins.lc 41:77-41:78  V1
testdata/Builtins.lc 41:79-41:84  Type
testdata/Builtins.lc 42:3-42:7  Mat 3 4 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 4 Float
testdata/Builtins.lc 42:3-42:84  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:84  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:84  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 -> Type->Type
testdata/Builtins.lc 42:56-42:61  Type->Type
testdata/Builtins.lc 42:56-42:67  Type
testdata/Builtins.lc 42:56-42:84  Type
testdata/Builtins.lc 42:60-42:61  V1
testdata/Builtins.lc 42:62-42:67  Type
testdata/Builtins.lc 42:71-42:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 42:71-42:76  Nat -> Type->Type
testdata/Builtins.lc 42:71-42:78  Type->Type
testdata/Builtins.lc 42:71-42:84  Type
testdata/Builtins.lc 42:75-42:76  V1
testdata/Builtins.lc 42:75-42:78  a:Type -> Mat 3 4 a -> Type
testdata/Builtins.lc 42:75-42:84  Mat 3 4 Float -> Type
testdata/Builtins.lc 42:77-42:78  V1
testdata/Builtins.lc 42:79-42:84  Type
testdata/Builtins.lc 43:3-43:7  Mat 4 4 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 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 4 4 a -> Type
testdata/Builtins.lc 43:75-43:84  Mat 4 4 Float -> Type
testdata/Builtins.lc 43:77-43:78  V1
testdata/Builtins.lc 43:79-43:84  Type
testdata/Builtins.lc 46:5-46:21  Type->Type
testdata/Builtins.lc 46:22-46:27  Type
testdata/Builtins.lc 46:22-46:35  Type->Type
testdata/Builtins.lc 46:22-50:37  Type | Type->Type
testdata/Builtins.lc 46:30-46:35  Type
testdata/Builtins.lc 47:22-47:26  Type
testdata/Builtins.lc 47:22-47:33  Type->Type
testdata/Builtins.lc 47:22-50:37  Type
testdata/Builtins.lc 47:29-47:33  Type
testdata/Builtins.lc 48:22-48:25  Type
testdata/Builtins.lc 48:22-48:31  Type->Type
testdata/Builtins.lc 48:22-50:37  Type
testdata/Builtins.lc 48:28-48:31  Type
testdata/Builtins.lc 49:28-49:31  Type
testdata/Builtins.lc 49:28-49:36  Type->Type
testdata/Builtins.lc 49:28-50:37  Type
testdata/Builtins.lc 49:35-49:36  Nat->Type | Type | Type -> Nat->Type
testdata/Builtins.lc 50:27-50:32  Type
testdata/Builtins.lc 50:27-50:37  Type->Type
testdata/Builtins.lc 50:36-50:37  Nat -> Nat -> Type->Type | Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 54:6-54:11  Type
testdata/Builtins.lc 54:6-54:31  Type
testdata/Builtins.lc 54:14-54:16  Swizz
testdata/Builtins.lc 54:19-54:21  Swizz
testdata/Builtins.lc 54:24-54:26  Swizz
testdata/Builtins.lc 54:29-54:31  Swizz
testdata/Builtins.lc 57:26-57:56  Type
testdata/Builtins.lc 57:27-57:28  V5
testdata/Builtins.lc 57:32-57:33  Type | V4
testdata/Builtins.lc 57:38-57:41  Nat -> Type->Type
testdata/Builtins.lc 57:38-57:43  Type->Type
testdata/Builtins.lc 57:38-57:45  Type
testdata/Builtins.lc 57:38-57:56  Type
testdata/Builtins.lc 57:42-57:43  V2
testdata/Builtins.lc 57:44-57:45  Type
testdata/Builtins.lc 57:49-57:52  Nat -> Type->Type
testdata/Builtins.lc 57:49-57:54  Type->Type
testdata/Builtins.lc 57:49-57:56  Type
testdata/Builtins.lc 57:53-57:54  Nat
testdata/Builtins.lc 57:55-57:56  Type
testdata/Builtins.lc 58:1-58:7  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 58:23-58: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 58:23-58: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 58:23-59: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 58:23-60:37  (V4 -> V5 -> V6 -> V7 -> VecS V7 4) -> {f:Nat} -> VecS V6 f -> VecS V6 f
testdata/Builtins.lc 58:23-61:45  {a:Nat} -> VecS V5 a -> VecS V5 a
testdata/Builtins.lc 58:23-62:7  VecS V4 V2 -> VecS V4 V3
testdata/Builtins.lc 58:23-63: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 58:33-58:51  a:Nat -> VecS V1 a -> Type
testdata/Builtins.lc 58:42-58:46  Nat -> Type->Type
testdata/Builtins.lc 58:42-58:48  Type->Type
testdata/Builtins.lc 58:42-58:50  Type | VecS V1 V0 -> Type
testdata/Builtins.lc 58:47-58:48  Nat
testdata/Builtins.lc 58:49-58:50  Type
testdata/Builtins.lc 59:5-59:29  V0 -> V1 -> VecS V6 2
testdata/Builtins.lc 59:14-59:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 59:14-59:22  V5 -> VecS V6 2
testdata/Builtins.lc 59:14-59:28  V1 -> VecS V6 2 | VecS V5 2
testdata/Builtins.lc 59:17-59:22  V5
testdata/Builtins.lc 59:18-59:19  V8->V8
testdata/Builtins.lc 59:20-59:21  V2
testdata/Builtins.lc 59:23-59:28  V5
testdata/Builtins.lc 59:24-59:25  V6->V6
testdata/Builtins.lc 59:26-59:27  V6
testdata/Builtins.lc 60:5-60:37  V4 -> V5 -> V6 -> VecS V6 3
testdata/Builtins.lc 60:16-60:18  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 60:16-60:24  V6 -> V7 -> VecS V8 3
testdata/Builtins.lc 60:16-60:30  V6 -> VecS V7 3
testdata/Builtins.lc 60:16-60:36  V5 -> V6 -> VecS V6 3 | V6 -> VecS V6 3 | VecS V6 3
testdata/Builtins.lc 60:19-60:24  V6
testdata/Builtins.lc 60:20-60:21  V8->V8
testdata/Builtins.lc 60:22-60:23  V7
testdata/Builtins.lc 60:25-60:30  V6
testdata/Builtins.lc 60:26-60:27  V7->V7
testdata/Builtins.lc 60:28-60:29  V7
testdata/Builtins.lc 60:31-60:36  V6
testdata/Builtins.lc 60:32-60:33  V7->V7
testdata/Builtins.lc 60:34-60:35  V7
testdata/Builtins.lc 61:5-61:45  V4 -> V5 -> V6 -> V7 -> VecS V7 4
testdata/Builtins.lc 61:18-61:20  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 61:18-61:26  V7 -> V8 -> V9 -> VecS V10 4
testdata/Builtins.lc 61:18-61:32  V7 -> V8 -> VecS V9 4
testdata/Builtins.lc 61:18-61:38  V7 -> VecS V8 4
testdata/Builtins.lc 61:18-61:44  V5 -> V6 -> V7 -> VecS V7 4 | V6 -> V7 -> VecS V7 4 | V7 -> VecS V7 4 | VecS V7 4
testdata/Builtins.lc 61:21-61:26  V7
testdata/Builtins.lc 61:22-61:23  V9->V9
testdata/Builtins.lc 61:24-61:25  V8
testdata/Builtins.lc 61:27-61:32  V7
testdata/Builtins.lc 61:28-61:29  V8->V8
testdata/Builtins.lc 61:30-61:31  V8
testdata/Builtins.lc 61:33-61:38  V7
testdata/Builtins.lc 61:34-61:35  V8->V8
testdata/Builtins.lc 61:36-61:37  V8
testdata/Builtins.lc 61:39-61:44  V7
testdata/Builtins.lc 61:40-61:41  V8->V8
testdata/Builtins.lc 61:42-61:43  V8
testdata/Builtins.lc 62:6-62:7  Nat
testdata/Builtins.lc 63:5-63:6  VecS V4 V2
testdata/Builtins.lc 66:16-66:48  Type
testdata/Builtins.lc 66:27-66:30  Nat -> Type->Type
testdata/Builtins.lc 66:27-66:32  Type->Type
testdata/Builtins.lc 66:27-66:34  Type
testdata/Builtins.lc 66:27-66:48  Type
testdata/Builtins.lc 66:31-66:32  V1
testdata/Builtins.lc 66:33-66:34  V2
testdata/Builtins.lc 66:38-66:43  Type
testdata/Builtins.lc 66:38-66:48  Type
testdata/Builtins.lc 66:47-66:48  Type
testdata/Builtins.lc 67:1-67:12  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 67:17-67:20  VecS V5 V4
testdata/Builtins.lc 67:17-75:32  Swizz->V3 | V3 | VecS V1 V0 -> Swizz->V3
testdata/Builtins.lc 67:22-67:24  Swizz
testdata/Builtins.lc 67:22-68:28  V1 -> V2->V2 | V2 | V2->V2
testdata/Builtins.lc 67:22-71:30  (V0 -> V1 -> V2 -> V3->V4) -> {f:Nat} -> VecS V2 f -> V3
testdata/Builtins.lc 67:22-75:32  {a:Nat} -> VecS V1 a -> V2
testdata/Builtins.lc 67:27-67:28  V4
testdata/Builtins.lc 67:27-68:28  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 68:27-68:28  V3
testdata/Builtins.lc 69:24-69:26  Swizz
testdata/Builtins.lc 69:24-71:30  V0 -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
testdata/Builtins.lc 69:29-69:30  V4
testdata/Builtins.lc 69:29-70:30  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 69:29-71:30  V3 -> Swizz->V5
testdata/Builtins.lc 70:29-70:30  V3
testdata/Builtins.lc 71:29-71:30  V3
testdata/Builtins.lc 72:26-72:28  Swizz
testdata/Builtins.lc 72:26-75:32  V0 -> V1 -> V2 -> V3->V4 | V1 -> V2 -> V3->V4 | V2 -> V3->V4 | V3->V4 | V4
testdata/Builtins.lc 72:31-72:32  V5
testdata/Builtins.lc 72:31-73:32  V4 -> V5 -> Swizz->V7
testdata/Builtins.lc 72:31-74:32  V4 -> Swizz->V6
testdata/Builtins.lc 72:31-75:32  Swizz->V5
testdata/Builtins.lc 73:31-73:32  V4
testdata/Builtins.lc 74:31-74:32  V4
testdata/Builtins.lc 75:31-75:32  V4
testdata/Builtins.lc 78:28-78:31  Nat -> Type->Type
testdata/Builtins.lc 78:28-78:33  Type->Type
testdata/Builtins.lc 78:28-78:35  Type
testdata/Builtins.lc 78:28-78:43  Type
testdata/Builtins.lc 78:32-78:33  V1
testdata/Builtins.lc 78:34-78:35  V2
testdata/Builtins.lc 78:39-78:43  Type
testdata/Builtins.lc 79:1-79:11  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 79:16-79:19  VecS V4 V3
testdata/Builtins.lc 79:16-81:31  Bool | VecS V1 V0 -> Bool
testdata/Builtins.lc 79:23-79:27  Bool | V1 -> V2->V2 | V2->V2
testdata/Builtins.lc 79:23-80:29  (V0 -> V1 -> V2 -> V3->Bool) -> {f:Nat} -> VecS V2 f -> Bool
testdata/Builtins.lc 79:23-81:31  {a:Nat} -> VecS V1 a -> Bool
testdata/Builtins.lc 80:25-80:29  Bool | V0 -> V1 -> V2->Bool | V1 -> V2->Bool | V2->Bool
testdata/Builtins.lc 81:27-81:31  Bool | V0 -> V1 -> V2 -> V3->Bool | V1 -> V2 -> V3->Bool | V2 -> V3->Bool | V3->Bool
testdata/Builtins.lc 83:16-83:71  Type
testdata/Builtins.lc 83:27-83:71  Type
testdata/Builtins.lc 83:38-83:41  Nat -> Type->Type
testdata/Builtins.lc 83:38-83:43  Type->Type
testdata/Builtins.lc 83:38-83:45  Type
testdata/Builtins.lc 83:38-83:71  Type
testdata/Builtins.lc 83:42-83:43  V3
testdata/Builtins.lc 83:44-83:45  V4
testdata/Builtins.lc 83:49-83:52  Nat -> Type->Type
testdata/Builtins.lc 83:49-83:54  Type->Type
testdata/Builtins.lc 83:49-83:60  Type
testdata/Builtins.lc 83:49-83:71  Type
testdata/Builtins.lc 83:53-83:54  V2
testdata/Builtins.lc 83:55-83:60  Type
testdata/Builtins.lc 83:64-83:67  Nat -> Type->Type
testdata/Builtins.lc 83:64-83:69  Type->Type
testdata/Builtins.lc 83:64-83:71  Type
testdata/Builtins.lc 83:68-83:69  Nat
testdata/Builtins.lc 83:70-83:71  Type
testdata/Builtins.lc 84:1-84:12  {a} -> {b:Nat} -> {c:Nat} -> VecS a b -> VecS Swizz c -> VecS a c
testdata/Builtins.lc 84:19-84:29  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 84:19-84:31  Bool
testdata/Builtins.lc 84:19-84:58  VecS Swizz V1 -> VecS V4 V2 | VecS V2 V1 -> VecS Swizz V1 -> VecS V4 V2 | VecS V4 V2
testdata/Builtins.lc 84:30-84:31  VecS V6 V5
testdata/Builtins.lc 84:34-84:40  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 84:34-84:56  VecS Swizz V0 -> VecS V7 V1
testdata/Builtins.lc 84:34-84:58  VecS V4 V2
testdata/Builtins.lc 84:41-84:56  Swizz->V9
testdata/Builtins.lc 84:42-84:53  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 84:54-84:55  VecS V10 V9
testdata/Builtins.lc 84:57-84:58  VecS Swizz V3
testdata/Builtins.lc 89:7-89:13  Type->Type
testdata/Builtins.lc 91:25-91:28  Type
testdata/Builtins.lc 91:25-92:30  Type | Type->Type
testdata/Builtins.lc 92:25-92:30  Type
testdata/Builtins.lc 94:7-94:16  Type->Type
testdata/Builtins.lc 94:7-95:16  Type
testdata/Builtins.lc 94:7-96:15  Type
testdata/Builtins.lc 95:3-95:11  {a} -> {b : Component a}->a
testdata/Builtins.lc 95:15-95:16  Type
testdata/Builtins.lc 96:3-96:10  {a} -> {b : Component a}->a
testdata/Builtins.lc 96:14-96:15  Type
testdata/Builtins.lc 98:20-98:23  Type
testdata/Builtins.lc 98:20-99:22  V1->V2
testdata/Builtins.lc 98:20-100:21  V1->V2
testdata/Builtins.lc 98:20-116:24  Type | Type->Type
testdata/Builtins.lc 98:20-126:40  V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 98:20-127:35  V1 | {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 99:14-99:15  V1
testdata/Builtins.lc 99:14-99:22  Int
testdata/Builtins.lc 99:19-99:22  Type
testdata/Builtins.lc 100:13-100:14  V1
testdata/Builtins.lc 100:13-100:21  Int
testdata/Builtins.lc 100:18-100:21  Type
testdata/Builtins.lc 101:20-101:24  Type
testdata/Builtins.lc 101:20-102:23  V1->V2
testdata/Builtins.lc 101:20-103:22  V1->V2
testdata/Builtins.lc 101:20-116:24  Type
testdata/Builtins.lc 101:20-126:40  V1
testdata/Builtins.lc 101:20-127:35  V1
testdata/Builtins.lc 102:14-102:15  V1
testdata/Builtins.lc 102:14-102:23  Word
testdata/Builtins.lc 102:19-102:23  Type
testdata/Builtins.lc 103:13-103:14  V1
testdata/Builtins.lc 103:13-103:22  Word
testdata/Builtins.lc 103:18-103:22  Type
testdata/Builtins.lc 104:20-104:25  Type
testdata/Builtins.lc 104:20-105:17  V1->V2
testdata/Builtins.lc 104:20-106:16  V1->V2
testdata/Builtins.lc 104:20-116:24  Type
testdata/Builtins.lc 104:20-126:40  V1
testdata/Builtins.lc 104:20-127:35  V1
testdata/Builtins.lc 105:14-105:17  Float
testdata/Builtins.lc 106:13-106:16  Float
testdata/Builtins.lc 107:26-107:31  Type
testdata/Builtins.lc 107:26-116:24  Type
testdata/Builtins.lc 107:26-126:40  V1->V2
testdata/Builtins.lc 107:26-127:35  V1->V2
testdata/Builtins.lc 108:14-108:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 108:14-108:20  Float -> VecS Float 2
testdata/Builtins.lc 108:14-108:24  VecS Float 2
testdata/Builtins.lc 108:14-114:32  a:Nat -> VecS Float ('Succ ('Succ a)) | a:Nat -> VecS Float ('Succ a)
testdata/Builtins.lc 108:14-126:40  VecS V1 V0 | a:Nat -> VecS V1 a | a:Type -> b:Nat -> VecS a b
testdata/Builtins.lc 108:17-108:20  Float
testdata/Builtins.lc 108:21-108:24  Float
testdata/Builtins.lc 109:13-109:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 109:13-109:19  Float -> VecS Float 2
testdata/Builtins.lc 109:13-109:23  VecS Float 2
testdata/Builtins.lc 109:13-115:31  a:Nat -> VecS Float ('Succ ('Succ a)) | a:Nat -> VecS Float ('Succ a)
testdata/Builtins.lc 109:13-127:35  VecS V1 V0 | a:Nat -> VecS V1 a | a:Type -> b:Nat -> VecS a b
testdata/Builtins.lc 109:16-109:19  Float
testdata/Builtins.lc 109:20-109:23  Float
testdata/Builtins.lc 111:14-111:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 111:14-111:20  Float -> Float -> VecS Float 3
testdata/Builtins.lc 111:14-111:24  Float -> VecS Float 3
testdata/Builtins.lc 111:14-111:28  VecS Float 3
testdata/Builtins.lc 111:14-114:32  a:Nat -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 111:17-111:20  Float
testdata/Builtins.lc 111:21-111:24  Float
testdata/Builtins.lc 111:25-111:28  Float
testdata/Builtins.lc 112:13-112:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 112:13-112:19  Float -> Float -> VecS Float 3
testdata/Builtins.lc 112:13-112:23  Float -> VecS Float 3
testdata/Builtins.lc 112:13-112:27  VecS Float 3
testdata/Builtins.lc 112:13-115:31  a:Nat -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 112:16-112:19  Float
testdata/Builtins.lc 112:20-112:23  Float
testdata/Builtins.lc 112:24-112:27  Float
testdata/Builtins.lc 114:14-114:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 114:14-114:20  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 114:14-114:24  Float -> Float -> VecS Float 4
testdata/Builtins.lc 114:14-114:28  Float -> VecS Float 4
testdata/Builtins.lc 114:14-114:32  VecS Float 4 | a:Nat -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 114:17-114:20  Float
testdata/Builtins.lc 114:21-114:24  Float
testdata/Builtins.lc 114:25-114:28  Float
testdata/Builtins.lc 114:29-114:32  Float
testdata/Builtins.lc 115:13-115:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 115:13-115:19  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 115:13-115:23  Float -> Float -> VecS Float 4
testdata/Builtins.lc 115:13-115:27  Float -> VecS Float 4
testdata/Builtins.lc 115:13-115:31  VecS Float 4 | a:Nat -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 115:16-115:19  Float
testdata/Builtins.lc 115:20-115:23  Float
testdata/Builtins.lc 115:24-115:27  Float
testdata/Builtins.lc 115:28-115:31  Float
testdata/Builtins.lc 116:20-116:24  Type
testdata/Builtins.lc 116:20-117:19  V1->V2
testdata/Builtins.lc 116:20-118:17  V1->V2
testdata/Builtins.lc 117:14-117:19  Bool
testdata/Builtins.lc 118:13-118:17  Bool
testdata/Builtins.lc 120:14-120:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 120:14-120:22  Bool -> VecS Bool 2
testdata/Builtins.lc 120:14-120:28  VecS Bool 2
testdata/Builtins.lc 120:14-126:40  a:Nat -> VecS Bool ('Succ ('Succ a)) | a:Nat -> VecS Bool ('Succ a)
testdata/Builtins.lc 120:17-120:22  Bool
testdata/Builtins.lc 120:23-120:28  Bool
testdata/Builtins.lc 121:13-121:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 121:13-121:20  Bool -> VecS Bool 2
testdata/Builtins.lc 121:13-121:25  VecS Bool 2
testdata/Builtins.lc 121:13-127:35  a:Nat -> VecS Bool ('Succ ('Succ a)) | a:Nat -> VecS Bool ('Succ a)
testdata/Builtins.lc 121:16-121:20  Bool
testdata/Builtins.lc 121:21-121:25  Bool
testdata/Builtins.lc 123:14-123:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 123:14-123:22  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 123:14-123:28  Bool -> VecS Bool 3
testdata/Builtins.lc 123:14-123:34  VecS Bool 3
testdata/Builtins.lc 123:14-126:40  a:Nat -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 123:17-123:22  Bool
testdata/Builtins.lc 123:23-123:28  Bool
testdata/Builtins.lc 123:29-123:34  Bool
testdata/Builtins.lc 124:13-124:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 124:13-124:20  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 124:13-124:25  Bool -> VecS Bool 3
testdata/Builtins.lc 124:13-124:30  VecS Bool 3
testdata/Builtins.lc 124:13-127:35  a:Nat -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 124:16-124:20  Bool
testdata/Builtins.lc 124:21-124:25  Bool
testdata/Builtins.lc 124:26-124:30  Bool
testdata/Builtins.lc 126:14-126:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 126:14-126:22  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 126:14-126:28  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 126:14-126:34  Bool -> VecS Bool 4
testdata/Builtins.lc 126:14-126:40  VecS Bool 4 | a:Nat -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 126:17-126:22  Bool
testdata/Builtins.lc 126:23-126:28  Bool
testdata/Builtins.lc 126:29-126:34  Bool
testdata/Builtins.lc 126:35-126:40  Bool
testdata/Builtins.lc 127:13-127:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 127:13-127:20  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 127:13-127:25  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 127:13-127:30  Bool -> VecS Bool 4
testdata/Builtins.lc 127:13-127:35  VecS Bool 4 | a:Nat -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 127:16-127:20  Bool
testdata/Builtins.lc 127:21-127:25  Bool
testdata/Builtins.lc 127:26-127:30  Bool
testdata/Builtins.lc 127:31-127:35  Bool
testdata/Builtins.lc 129:7-129:15  Type->Type
testdata/Builtins.lc 131:25-131:28  Type
testdata/Builtins.lc 131:25-132:29  Type | Type->Type
testdata/Builtins.lc 132:25-132:29  Type
testdata/Builtins.lc 134:7-134:15  Type->Type
testdata/Builtins.lc 136:25-136:30  Type
testdata/Builtins.lc 136:25-140:39  Type | Type->Type
testdata/Builtins.lc 137:31-137:36  Type
testdata/Builtins.lc 137:31-140:39  Type
testdata/Builtins.lc 140:34-140:39  Type
testdata/Builtins.lc 150:6-150:20  Type
testdata/Builtins.lc 150:6-165:23  Type
testdata/Builtins.lc 151:7-151:12  BlendingFactor
testdata/Builtins.lc 152:7-152:10  BlendingFactor
testdata/Builtins.lc 153:7-153:15  BlendingFactor
testdata/Builtins.lc 154:7-154:23  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:20  BlendingFactor
testdata/Builtins.lc 162:7-162:28  BlendingFactor
testdata/Builtins.lc 163:7-163:20  BlendingFactor
testdata/Builtins.lc 164:7-164:28  BlendingFactor
testdata/Builtins.lc 165:7-165:23  BlendingFactor
testdata/Builtins.lc 167:6-167:19  Type
testdata/Builtins.lc 167:6-172:10  Type
testdata/Builtins.lc 168:7-168:14  BlendEquation
testdata/Builtins.lc 169:7-169:19  BlendEquation
testdata/Builtins.lc 170:7-170:26  BlendEquation
testdata/Builtins.lc 171:7-171:10  BlendEquation
testdata/Builtins.lc 172:7-172:10  BlendEquation
testdata/Builtins.lc 174:6-174:20  Type
testdata/Builtins.lc 174:6-190:10  Type
testdata/Builtins.lc 175:7-175:12  LogicOperation
testdata/Builtins.lc 176:7-176:10  LogicOperation
testdata/Builtins.lc 177:7-177:17  LogicOperation
testdata/Builtins.lc 178:7-178:11  LogicOperation
testdata/Builtins.lc 179:7-179:18  LogicOperation
testdata/Builtins.lc 180:7-180:11  LogicOperation
testdata/Builtins.lc 181:7-181:10  LogicOperation
testdata/Builtins.lc 182:7-182:9  LogicOperation
testdata/Builtins.lc 183:7-183:10  LogicOperation
testdata/Builtins.lc 184:7-184:12  LogicOperation
testdata/Builtins.lc 185:7-185:13  LogicOperation
testdata/Builtins.lc 186:7-186:16  LogicOperation
testdata/Builtins.lc 187:7-187:19  LogicOperation
testdata/Builtins.lc 188:7-188:17  LogicOperation
testdata/Builtins.lc 189:7-189:11  LogicOperation
testdata/Builtins.lc 190:7-190:10  LogicOperation
testdata/Builtins.lc 192:6-192:22  Type
testdata/Builtins.lc 192:6-200:15  Type
testdata/Builtins.lc 193:7-193:13  StencilOperation
testdata/Builtins.lc 194:7-194:13  StencilOperation
testdata/Builtins.lc 195:7-195:16  StencilOperation
testdata/Builtins.lc 196:7-196:13  StencilOperation
testdata/Builtins.lc 197:7-197:17  StencilOperation
testdata/Builtins.lc 198:7-198:13  StencilOperation
testdata/Builtins.lc 199:7-199:17  StencilOperation
testdata/Builtins.lc 200:7-200:15  StencilOperation
testdata/Builtins.lc 202:6-202:24  Type
testdata/Builtins.lc 202:6-210:13  Type
testdata/Builtins.lc 203:7-203:12  ComparisonFunction
testdata/Builtins.lc 204:7-204:11  ComparisonFunction
testdata/Builtins.lc 205:7-205:12  ComparisonFunction
testdata/Builtins.lc 206:7-206:13  ComparisonFunction
testdata/Builtins.lc 207:7-207:14  ComparisonFunction
testdata/Builtins.lc 208:7-208:15  ComparisonFunction
testdata/Builtins.lc 209:7-209:13  ComparisonFunction
testdata/Builtins.lc 210:7-210:13  ComparisonFunction
testdata/Builtins.lc 212:6-212:21  Type
testdata/Builtins.lc 212:6-214:18  Type
testdata/Builtins.lc 213:7-213:17  ProvokingVertex
testdata/Builtins.lc 214:7-214:18  ProvokingVertex
testdata/Builtins.lc 216:6-216:14  Type
testdata/Builtins.lc 216:6-219:15  Type
testdata/Builtins.lc 217:7-217:16  CullMode
testdata/Builtins.lc 218:7-218:15  CullMode
testdata/Builtins.lc 219:7-219:15  CullMode
testdata/Builtins.lc 221:6-221:15  Type | Type->Type
testdata/Builtins.lc 221:6-222:22  Type
testdata/Builtins.lc 221:6-223:23  Type
testdata/Builtins.lc 221:6-223:36  Type
testdata/Builtins.lc 222:7-222:16  PointSize V2 | Type | {a} -> Float -> PointSize a
testdata/Builtins.lc 222:17-222:22  Type
testdata/Builtins.lc 223:7-223:23  PointSize V3 | Type | {a} -> a->Float -> PointSize a
testdata/Builtins.lc 223:25-223:26  Type
testdata/Builtins.lc 223:30-223:35  Type
testdata/Builtins.lc 225:6-225:17  Type | Type->Type
testdata/Builtins.lc 225:6-227:33  Type
testdata/Builtins.lc 225:6-228:18  Type
testdata/Builtins.lc 225:6-228:24  Type
testdata/Builtins.lc 226:7-226:18  PolygonMode V1 | {a} -> PolygonMode a
testdata/Builtins.lc 227:7-227:19  PolygonMode V3 | Type | {a} -> PointSize a -> PolygonMode a
testdata/Builtins.lc 227:20-227:33  Type
testdata/Builtins.lc 227:21-227:30  Type->Type
testdata/Builtins.lc 227:31-227:32  Type
testdata/Builtins.lc 228:7-228:18  PolygonMode V4 | Type | {a} -> Float -> PolygonMode a
testdata/Builtins.lc 228:19-228:24  Type
testdata/Builtins.lc 230:6-230:19  Type
testdata/Builtins.lc 230:6-232:13  Type
testdata/Builtins.lc 230:6-232:25  Type
testdata/Builtins.lc 231:7-231:15  PolygonOffset
testdata/Builtins.lc 232:7-232:13  Float -> Float->PolygonOffset | PolygonOffset | Type
testdata/Builtins.lc 232:14-232:19  Type
testdata/Builtins.lc 232:20-232:25  Type
testdata/Builtins.lc 234:6-234:28  Type
testdata/Builtins.lc 234:6-236:16  Type
testdata/Builtins.lc 235:7-235:16  PointSpriteCoordOrigin
testdata/Builtins.lc 236:7-236:16  PointSpriteCoordOrigin
testdata/Builtins.lc 238:6-238:20  Type
testdata/Builtins.lc 238:6-238:56  Type
testdata/Builtins.lc 238:23-238:28  ImageSemantics | Type | Type->ImageSemantics
testdata/Builtins.lc 238:29-238:33  Type
testdata/Builtins.lc 238:36-238:43  ImageSemantics | Type | Type->ImageSemantics
testdata/Builtins.lc 238:44-238:48  Type
testdata/Builtins.lc 238:51-238:56  ImageSemantics | Type | Type->ImageSemantics
testdata/Builtins.lc 238:57-238:61  Type
testdata/Builtins.lc 240:6-240:19  Type
testdata/Builtins.lc 240:6-245:20  Type
testdata/Builtins.lc 241:7-241:15  PrimitiveType
testdata/Builtins.lc 242:7-242:11  PrimitiveType
testdata/Builtins.lc 243:7-243:12  PrimitiveType
testdata/Builtins.lc 244:7-244:24  PrimitiveType
testdata/Builtins.lc 245:7-245:20  PrimitiveType
testdata/Builtins.lc 248:1-248:12  Tuple0 -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 248:16-248:18  Type
testdata/Builtins.lc 248:22-248:25  Nat -> Type->Type
testdata/Builtins.lc 248:22-248:27  Type->Type
testdata/Builtins.lc 248:22-248:33  Type
testdata/Builtins.lc 248:22-248:48  Type
testdata/Builtins.lc 248:26-248:27  V1
testdata/Builtins.lc 248:28-248:33  Type
testdata/Builtins.lc 248:37-248:40  Nat -> Type->Type
testdata/Builtins.lc 248:37-248:42  Type->Type
testdata/Builtins.lc 248:37-248:48  Type
testdata/Builtins.lc 248:41-248:42  V1
testdata/Builtins.lc 248:43-248:48  Type
testdata/Builtins.lc 251:1-251:8  {a} -> String->a
testdata/Builtins.lc 251:14-251:20  Type
testdata/Builtins.lc 251:14-251:25  Type
testdata/Builtins.lc 251:24-251:25  Type | V2
testdata/Builtins.lc 252:1-252:10  {a} -> String->a
testdata/Builtins.lc 252:14-252:20  Type
testdata/Builtins.lc 252:14-252:25  Type
testdata/Builtins.lc 252:24-252:25  Type | V2
testdata/Builtins.lc 254:6-254:19  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 254:6-257:111  Type
testdata/Builtins.lc 254:25-254:38  Type
testdata/Builtins.lc 254:25-254:46  Type
testdata/Builtins.lc 254:42-254:46  Type
testdata/Builtins.lc 255:3-255:14  RasterContext V5 'Triangle | {a} -> CullMode -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
testdata/Builtins.lc 255:3-255:115  Type
testdata/Builtins.lc 255:26-255:34  Type
testdata/Builtins.lc 255:26-255:115  Type
testdata/Builtins.lc 255:38-255:49  Type->Type
testdata/Builtins.lc 255:38-255:51  Type
testdata/Builtins.lc 255:38-255:115  Type
testdata/Builtins.lc 255:50-255:51  Type
testdata/Builtins.lc 255:55-255:68  Type
testdata/Builtins.lc 255:55-255:115  Type
testdata/Builtins.lc 255:72-255:87  Type
testdata/Builtins.lc 255:72-255:115  Type
testdata/Builtins.lc 255:91-255:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 255:91-255:106  PrimitiveType->Type
testdata/Builtins.lc 255:91-255:115  Type
testdata/Builtins.lc 255:105-255:106  Type
testdata/Builtins.lc 255:107-255:115  PrimitiveType
testdata/Builtins.lc 256:3-256:11  RasterContext V5 'Point | {a} -> PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point
testdata/Builtins.lc 256:3-256:112  Type
testdata/Builtins.lc 256:26-256:35  Type->Type
testdata/Builtins.lc 256:26-256:37  Type
testdata/Builtins.lc 256:26-256:112  Type
testdata/Builtins.lc 256:36-256:37  Type
testdata/Builtins.lc 256:41-256:46  Type
testdata/Builtins.lc 256:41-256:112  Type
testdata/Builtins.lc 256:50-256:72  Type
testdata/Builtins.lc 256:50-256:112  Type
testdata/Builtins.lc 256:91-256:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 256:91-256:106  PrimitiveType->Type
testdata/Builtins.lc 256:91-256:112  Type
testdata/Builtins.lc 256:105-256:106  Type
testdata/Builtins.lc 256:107-256:112  PrimitiveType
testdata/Builtins.lc 257:3-257:10  RasterContext V5 'Line | {a} -> Float -> ProvokingVertex -> RasterContext a 'Line
testdata/Builtins.lc 257:3-257:111  Type
testdata/Builtins.lc 257:26-257:31  Type
testdata/Builtins.lc 257:26-257:111  Type
testdata/Builtins.lc 257:35-257:50  Type
testdata/Builtins.lc 257:35-257:111  Type
testdata/Builtins.lc 257:91-257:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 257:91-257:106  PrimitiveType->Type
testdata/Builtins.lc 257:91-257:111  Type
testdata/Builtins.lc 257:105-257:106  Type
testdata/Builtins.lc 257:107-257:111  PrimitiveType
testdata/Builtins.lc 261:5-261:12  Type->Type
testdata/Builtins.lc 261:14-261:15  Type
testdata/Builtins.lc 261:14-261:20  Type->Type
testdata/Builtins.lc 261:14-262:32  Type | Type->Type
testdata/Builtins.lc 261:19-261:20  Type | Type->Type
testdata/Builtins.lc 262:15-262:21  Type
testdata/Builtins.lc 262:15-262:32  Type->Type
testdata/Builtins.lc 262:26-262:32  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 262:27-262:28  Type
testdata/Builtins.lc 262:30-262:31  Type
testdata/Builtins.lc 264:6-264:14  Type | Type->Type
testdata/Builtins.lc 264:6-269:74  Type
testdata/Builtins.lc 264:18-264:22  Type
testdata/Builtins.lc 264:26-264:30  Type
testdata/Builtins.lc 265:3-265:13  Blending V0 | {a} -> Blending a
testdata/Builtins.lc 265:3-265:70  Type
testdata/Builtins.lc 265:60-265:68  Type->Type
testdata/Builtins.lc 265:60-265:70  Type
testdata/Builtins.lc 265:69-265:70  Type | V1
testdata/Builtins.lc 266:3-266:15  Blending V2 | {a} -> {b : Integral a} -> LogicOperation -> Blending a
testdata/Builtins.lc 266:3-266:70  Type
testdata/Builtins.lc 266:26-266:38  Type
testdata/Builtins.lc 266:26-266:70  Type
testdata/Builtins.lc 266:27-266:35  Type->Type
testdata/Builtins.lc 266:36-266:37  V1
testdata/Builtins.lc 266:42-266:56  Type
testdata/Builtins.lc 266:42-266:70  Type
testdata/Builtins.lc 266:60-266:68  Type->Type
testdata/Builtins.lc 266:60-266:70  Type
testdata/Builtins.lc 266:69-266:70  Type
testdata/Builtins.lc 267:3-267:8  Blending Float | Tuple2 BlendEquation BlendEquation -> Tuple2 (Tuple2 BlendingFactor BlendingFactor) (Tuple2 BlendingFactor BlendingFactor) -> VecS Float 4 -> Blending Float
testdata/Builtins.lc 267:3-269:74  Type
testdata/Builtins.lc 267:26-267:56  Type
testdata/Builtins.lc 267:27-267:40  Type
testdata/Builtins.lc 267:42-267:55  Type
testdata/Builtins.lc 268:29-268:97  Type
testdata/Builtins.lc 268:29-269:74  Type
testdata/Builtins.lc 268:30-268:62  Type
testdata/Builtins.lc 268:31-268:45  Type
testdata/Builtins.lc 268:47-268:61  Type
testdata/Builtins.lc 268:64-268:96  Type
testdata/Builtins.lc 268:65-268:79  Type
testdata/Builtins.lc 268:81-268:95  Type
testdata/Builtins.lc 269:29-269:32  Nat -> Type->Type
testdata/Builtins.lc 269:29-269:34  Type->Type
testdata/Builtins.lc 269:29-269:40  Type
testdata/Builtins.lc 269:29-269:74  Type
testdata/Builtins.lc 269:33-269:34  V1
testdata/Builtins.lc 269:35-269:40  Type
testdata/Builtins.lc 269:60-269:68  Type->Type
testdata/Builtins.lc 269:60-269:74  Type
testdata/Builtins.lc 269:69-269:74  Type
testdata/Builtins.lc 276:6-276:18  Type
testdata/Builtins.lc 277:6-277:16  Type
testdata/Builtins.lc 278:6-278:11  Type
testdata/Builtins.lc 280:6-280:23  ImageSemantics->Type | Type
testdata/Builtins.lc 280:6-284:104  Type
testdata/Builtins.lc 280:27-280:41  Type
testdata/Builtins.lc 280:45-280:49  Type
testdata/Builtins.lc 281:3-281: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 281:3-282:102  Type
testdata/Builtins.lc 281:26-282:102  Type
testdata/Builtins.lc 281:27-281:31  V8
testdata/Builtins.lc 281:27-281:33  V7->Type
testdata/Builtins.lc 281:27-281:50  Type
testdata/Builtins.lc 281:32-281:33  {a} -> a -> a->Type
testdata/Builtins.lc 281:34-281:43  Nat -> Type->Type
testdata/Builtins.lc 281:34-281:45  Type->Type
testdata/Builtins.lc 281:34-281:50  Type
testdata/Builtins.lc 281:44-281:45  V5
testdata/Builtins.lc 281:46-281:50  Type
testdata/Builtins.lc 281:52-281:57  V5
testdata/Builtins.lc 281:52-281:59  V4->Type
testdata/Builtins.lc 281:52-281:73  Type
testdata/Builtins.lc 281:52-282:102  Type
testdata/Builtins.lc 281:58-281:59  {a} -> a -> a->Type
testdata/Builtins.lc 281:60-281:69  Nat -> Type->Type
testdata/Builtins.lc 281:60-281:71  Type->Type
testdata/Builtins.lc 281:60-281:73  Type
testdata/Builtins.lc 281:70-281:71  Nat
testdata/Builtins.lc 281:72-281:73  V2
testdata/Builtins.lc 281:75-281:78  Type->Type
testdata/Builtins.lc 281:75-281:80  Type
testdata/Builtins.lc 281:75-282:102  Type
testdata/Builtins.lc 281:79-281:80  Type
testdata/Builtins.lc 281:85-281:93  Type->Type
testdata/Builtins.lc 281:85-281:95  Type
testdata/Builtins.lc 281:85-282:102  Type
testdata/Builtins.lc 281:94-281:95  Type
testdata/Builtins.lc 281:99-281:103  Type
testdata/Builtins.lc 281:99-282:102  Type
testdata/Builtins.lc 282:71-282:88  ImageSemantics->Type
testdata/Builtins.lc 282:71-282:102  Type
testdata/Builtins.lc 282:89-282:102  ImageSemantics
testdata/Builtins.lc 282:90-282:95  Type->ImageSemantics
testdata/Builtins.lc 282:96-282:101  Type
testdata/Builtins.lc 283:3-283:10  ComparisonFunction -> Bool -> FragmentOperation ('Depth Float) | FragmentOperation ('Depth Float)
testdata/Builtins.lc 283:3-283:102  Type
testdata/Builtins.lc 283:26-283:44  Type
testdata/Builtins.lc 283:48-283:52  Type
testdata/Builtins.lc 283:48-283:102  Type
testdata/Builtins.lc 283:71-283:88  ImageSemantics->Type
testdata/Builtins.lc 283:71-283:102  Type
testdata/Builtins.lc 283:89-283:102  ImageSemantics
testdata/Builtins.lc 283:90-283:95  Type->ImageSemantics
testdata/Builtins.lc 283:96-283:101  Type
testdata/Builtins.lc 284:3-284:12  FragmentOperation ('Stencil Int32) | StencilTests -> StencilOps -> StencilOps -> FragmentOperation ('Stencil Int32)
testdata/Builtins.lc 284:3-284:104  Type
testdata/Builtins.lc 284:26-284:38  Type
testdata/Builtins.lc 284:42-284:52  Type
testdata/Builtins.lc 284:42-284:104  Type
testdata/Builtins.lc 284:56-284:66  Type
testdata/Builtins.lc 284:56-284:104  Type
testdata/Builtins.lc 284:71-284:88  ImageSemantics->Type
testdata/Builtins.lc 284:71-284:104  Type
testdata/Builtins.lc 284:89-284:104  ImageSemantics
testdata/Builtins.lc 284:90-284:97  Type->ImageSemantics
testdata/Builtins.lc 284:98-284:103  Type
testdata/Builtins.lc 286:28-286:42  Type
testdata/Builtins.lc 287:5-287:12  List ImageSemantics -> Type
testdata/Builtins.lc 287:15-287:16  List ImageSemantics
testdata/Builtins.lc 287:15-291:148  List ImageSemantics -> Type | Type
testdata/Builtins.lc 287:20-287:41  Type
testdata/Builtins.lc 287:20-291:148  List ImageSemantics -> Type | List V2 -> V2 | Type | V1 -> List V2 -> V2
testdata/Builtins.lc 287:21-287:38  ImageSemantics->Type
testdata/Builtins.lc 287:39-287:40  V4
testdata/Builtins.lc 288:25-288:69  Type
testdata/Builtins.lc 288:25-291:148  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 288:26-288:43  ImageSemantics->Type
testdata/Builtins.lc 288:26-288:46  Type
testdata/Builtins.lc 288:44-288:46  ImageSemantics
testdata/Builtins.lc 288:48-288:65  ImageSemantics->Type
testdata/Builtins.lc 288:48-288:68  Type
testdata/Builtins.lc 288:66-288:68  V3
testdata/Builtins.lc 289:29-289:95  Type
testdata/Builtins.lc 289:29-291:148  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 289:30-289:47  ImageSemantics->Type
testdata/Builtins.lc 289:30-289:50  Type
testdata/Builtins.lc 289:30-289:72  Type->Type
testdata/Builtins.lc 289:48-289:50  ImageSemantics
testdata/Builtins.lc 289:52-289:69  ImageSemantics->Type
testdata/Builtins.lc 289:52-289:72  Type
testdata/Builtins.lc 289:70-289:72  ImageSemantics
testdata/Builtins.lc 289:74-289:91  ImageSemantics->Type
testdata/Builtins.lc 289:74-289:94  Type
testdata/Builtins.lc 289:92-289:94  V3
testdata/Builtins.lc 290:34-290:122  Type
testdata/Builtins.lc 290:34-291:148  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 290:35-290:52  ImageSemantics->Type
testdata/Builtins.lc 290:35-290:55  Type
testdata/Builtins.lc 290:35-290:77  Type -> Type->Type
testdata/Builtins.lc 290:35-290:99  Type->Type
testdata/Builtins.lc 290:53-290:55  ImageSemantics
testdata/Builtins.lc 290:57-290:74  ImageSemantics->Type
testdata/Builtins.lc 290:57-290:77  Type
testdata/Builtins.lc 290:75-290:77  ImageSemantics
testdata/Builtins.lc 290:79-290:96  ImageSemantics->Type
testdata/Builtins.lc 290:79-290:99  Type
testdata/Builtins.lc 290:97-290:99  ImageSemantics
testdata/Builtins.lc 290:101-290:118  ImageSemantics->Type
testdata/Builtins.lc 290:101-290:121  Type
testdata/Builtins.lc 290:119-290:121  V3
testdata/Builtins.lc 291:38-291:148  List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 291:39-291:56  ImageSemantics->Type
testdata/Builtins.lc 291:39-291:59  Type
testdata/Builtins.lc 291:39-291:81  Type -> Type -> Type->Type
testdata/Builtins.lc 291:39-291:103  Type -> Type->Type
testdata/Builtins.lc 291:39-291:125  Type->Type
testdata/Builtins.lc 291:57-291:59  ImageSemantics
testdata/Builtins.lc 291:61-291:78  ImageSemantics->Type
testdata/Builtins.lc 291:61-291:81  Type
testdata/Builtins.lc 291:79-291:81  ImageSemantics
testdata/Builtins.lc 291:83-291:100  ImageSemantics->Type
testdata/Builtins.lc 291:83-291:103  Type
testdata/Builtins.lc 291:101-291:103  ImageSemantics
testdata/Builtins.lc 291:105-291:122  ImageSemantics->Type
testdata/Builtins.lc 291:105-291:125  Type
testdata/Builtins.lc 291:123-291:125  ImageSemantics
testdata/Builtins.lc 291:127-291:144  ImageSemantics->Type
testdata/Builtins.lc 291:127-291:147  Type
testdata/Builtins.lc 291:145-291:147  V3
testdata/Builtins.lc 293:6-293:8  {a} -> List a -> List a -> List a
testdata/Builtins.lc 293:14-293:16  V3
testdata/Builtins.lc 293:14-294:26  List V0 -> List V1 | V0->V1
testdata/Builtins.lc 294:14-294:15  V3
testdata/Builtins.lc 294:14-294:17  List V2 -> List V3
testdata/Builtins.lc 294:14-294:26  List V1 -> V4 | List V2 | V0 -> List V1 -> V4
testdata/Builtins.lc 294:16-294:17  {a} -> a -> List a -> List a
testdata/Builtins.lc 294:18-294:20  List V5
testdata/Builtins.lc 294:21-294:23  V7
testdata/Builtins.lc 294:24-294:26  List V6
testdata/Builtins.lc 296:1-296:6  {a} -> {b} -> (b -> a->a) -> a -> List b -> a
testdata/Builtins.lc 296:16-296:17  V5
testdata/Builtins.lc 296:16-297:39  List V1 -> V6 | V0->V1
testdata/Builtins.lc 297:21-297:22  V8
testdata/Builtins.lc 297:21-297:39  List V1 -> V6 | V0 -> List V1 -> V6
testdata/Builtins.lc 297:23-297:24  V5
testdata/Builtins.lc 297:26-297:31  V13
testdata/Builtins.lc 297:32-297:33  V9->V7
testdata/Builtins.lc 297:34-297:35  V14
testdata/Builtins.lc 297:36-297:38  List V10
testdata/Builtins.lc 299:1-299:7  {a} -> List (List a) -> List a
testdata/Builtins.lc 299:10-299:15  {a} -> {b} -> (b -> a->a) -> a -> List b -> a
testdata/Builtins.lc 299:10-299:20  List V0 -> List (List V1) -> List V2
testdata/Builtins.lc 299:10-299:23  List (List V0) -> List V1
testdata/Builtins.lc 299:16-299:20  {a} -> List a -> List a -> List a
testdata/Builtins.lc 299:21-299:23  {a} -> List a
testdata/Builtins.lc 301:1-301:4  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 301:16-301:18  {a} -> List a
testdata/Builtins.lc 301:16-302:30  List V1 -> List V1 | V0->V1
testdata/Builtins.lc 302:16-302:17  V8
testdata/Builtins.lc 302:16-302:21  List V0 -> List V1
testdata/Builtins.lc 302:16-302:30  List V2 | List V2 -> List V2 | V1 -> List V2 -> List V2
testdata/Builtins.lc 302:18-302:19  V7
testdata/Builtins.lc 302:20-302:21  {a} -> a -> List a -> List a
testdata/Builtins.lc 302:22-302:25  V8
testdata/Builtins.lc 302:26-302:27  V6->V6
testdata/Builtins.lc 302:28-302:30  List V7
testdata/Builtins.lc 304:14-304:38  Type
testdata/Builtins.lc 304:15-304:16  V3
testdata/Builtins.lc 304:20-304:23  Type
testdata/Builtins.lc 304:21-304:22  V2
testdata/Builtins.lc 304:28-304:38  Type
testdata/Builtins.lc 304:29-304:30  Type
testdata/Builtins.lc 304:35-304:38  Type
testdata/Builtins.lc 304:36-304:37  Type
testdata/Builtins.lc 305:1-305:10  {a} -> {b} -> (a -> List b) -> List a -> List b
testdata/Builtins.lc 305:17-305:23  {a} -> List (List a) -> List a
testdata/Builtins.lc 305:17-305:33  (V1 -> List V1) -> List V2 -> List V2 | List V2 | List V2 -> List V2
testdata/Builtins.lc 305:24-305:33  List (List V2)
testdata/Builtins.lc 305:25-305:28  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 305:25-305:30  List V4 -> List (List V4)
testdata/Builtins.lc 305:29-305:30  V6 -> List V6
testdata/Builtins.lc 305:31-305:32  List V3
testdata/Builtins.lc 307:6-307:15  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 307:6-310:56  Type
testdata/Builtins.lc 307:21-307:34  Type
testdata/Builtins.lc 307:21-307:42  Type
testdata/Builtins.lc 307:38-307:42  Type
testdata/Builtins.lc 308:5-308:14  Primitive V2 'Point | {a} -> a -> Primitive a 'Point
testdata/Builtins.lc 308:5-308:53  Type
testdata/Builtins.lc 308:21-308:22  Type
testdata/Builtins.lc 308:21-308:53  Type
testdata/Builtins.lc 308:36-308:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 308:36-308:47  PrimitiveType->Type
testdata/Builtins.lc 308:36-308:53  Type
testdata/Builtins.lc 308:46-308:47  Type
testdata/Builtins.lc 308:48-308:53  PrimitiveType
testdata/Builtins.lc 309:5-309:13  Primitive V4 'Line | {a} -> a -> a -> Primitive a 'Line
testdata/Builtins.lc 309:5-309:52  Type
testdata/Builtins.lc 309:21-309:22  Type
testdata/Builtins.lc 309:21-309:52  Type
testdata/Builtins.lc 309:26-309:27  Type
testdata/Builtins.lc 309:26-309:52  Type
testdata/Builtins.lc 309:36-309:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 309:36-309:47  PrimitiveType->Type
testdata/Builtins.lc 309:36-309:52  Type
testdata/Builtins.lc 309:46-309:47  Type
testdata/Builtins.lc 309:48-309:52  PrimitiveType
testdata/Builtins.lc 310:5-310:17  Primitive V6 'Triangle | {a} -> a -> a -> a -> Primitive a 'Triangle
testdata/Builtins.lc 310:5-310:56  Type
testdata/Builtins.lc 310:21-310:22  Type
testdata/Builtins.lc 310:21-310:56  Type
testdata/Builtins.lc 310:26-310:27  Type
testdata/Builtins.lc 310:26-310:56  Type
testdata/Builtins.lc 310:31-310:32  Type
testdata/Builtins.lc 310:31-310:56  Type
testdata/Builtins.lc 310:36-310:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 310:36-310:47  PrimitiveType->Type
testdata/Builtins.lc 310:36-310:56  Type
testdata/Builtins.lc 310:46-310:47  Type
testdata/Builtins.lc 310:48-310:56  PrimitiveType
testdata/Builtins.lc 312:6-312:21  PrimitiveType -> Type->Type
testdata/Builtins.lc 312:29-312:38  Type -> PrimitiveType->Type
testdata/Builtins.lc 312:29-312:40  PrimitiveType->Type
testdata/Builtins.lc 312:29-312:42  Type
testdata/Builtins.lc 312:39-312:40  V1
testdata/Builtins.lc 312:41-312:42  V2
testdata/Builtins.lc 314:1-314:13  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 314:17-314:59  Type
testdata/Builtins.lc 314:18-314:19  V5
testdata/Builtins.lc 314:23-314:24  Type | V4
testdata/Builtins.lc 314:29-314:38  Type -> PrimitiveType->Type
testdata/Builtins.lc 314:29-314:40  PrimitiveType->Type
testdata/Builtins.lc 314:29-314:42  Type
testdata/Builtins.lc 314:29-314:59  Type
testdata/Builtins.lc 314:39-314:40  Type
testdata/Builtins.lc 314:41-314:42  V2
testdata/Builtins.lc 314:46-314:55  Type -> PrimitiveType->Type
testdata/Builtins.lc 314:46-314:57  PrimitiveType->Type
testdata/Builtins.lc 314:46-314:59  Type
testdata/Builtins.lc 314:56-314:57  Type
testdata/Builtins.lc 314:58-314:59  PrimitiveType
testdata/Builtins.lc 321:1-321:7  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> List (Primitive b a)
testdata/Builtins.lc 321:38-321:56  Type
testdata/Builtins.lc 321:38-321:94  Type
testdata/Builtins.lc 321:39-321:53  Type->Type
testdata/Builtins.lc 321:54-321:55  V1
testdata/Builtins.lc 321:60-321:66  Type
testdata/Builtins.lc 321:60-321:94  Type
testdata/Builtins.lc 321:70-321:71  Type
testdata/Builtins.lc 321:70-321:94  Type
testdata/Builtins.lc 321:75-321:90  PrimitiveType -> Type->Type
testdata/Builtins.lc 321:75-321:92  Type->Type
testdata/Builtins.lc 321:75-321:94  Type
testdata/Builtins.lc 321:91-321:92  V5
testdata/Builtins.lc 321:93-321:94  Type
testdata/Builtins.lc 322:1-322:13  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> List (Primitive b a)
testdata/Builtins.lc 322:41-322:104  Type
testdata/Builtins.lc 322:42-322:56  Type->Type
testdata/Builtins.lc 322:42-322:58  Type
testdata/Builtins.lc 322:57-322:58  V3
testdata/Builtins.lc 322:60-322:61  Type
testdata/Builtins.lc 322:60-322:63  Type->Type
testdata/Builtins.lc 322:60-322:74  Type
testdata/Builtins.lc 322:60-322:104  Type
testdata/Builtins.lc 322:62-322:63  {a} -> a -> a->Type
testdata/Builtins.lc 322:64-322:71  Type->Type
testdata/Builtins.lc 322:64-322:74  Type
testdata/Builtins.lc 322:72-322:74  V2
testdata/Builtins.lc 322:79-322:81  Type
testdata/Builtins.lc 322:79-322:104  Type
testdata/Builtins.lc 322:85-322:100  PrimitiveType -> Type->Type
testdata/Builtins.lc 322:85-322:102  Type->Type
testdata/Builtins.lc 322:85-322:104  Type
testdata/Builtins.lc 322:101-322:102  V6
testdata/Builtins.lc 322:103-322:104  Type
testdata/Builtins.lc 324:18-324:72  Type
testdata/Builtins.lc 324:19-324:20  V5
testdata/Builtins.lc 324:24-324:25  Type | V4
testdata/Builtins.lc 324:30-324:45  PrimitiveType -> Type->Type
testdata/Builtins.lc 324:30-324:47  Type->Type
testdata/Builtins.lc 324:30-324:49  Type
testdata/Builtins.lc 324:30-324:72  Type
testdata/Builtins.lc 324:46-324:47  V2
testdata/Builtins.lc 324:48-324:49  Type
testdata/Builtins.lc 324:53-324:68  PrimitiveType -> Type->Type
testdata/Builtins.lc 324:53-324:70  Type->Type
testdata/Builtins.lc 324:53-324:72  Type
testdata/Builtins.lc 324:69-324:70  PrimitiveType
testdata/Builtins.lc 324:71-324:72  Type
testdata/Builtins.lc 325:1-325:14  {a} -> {b} -> {c:PrimitiveType} -> a->b -> List (Primitive a c) -> List (Primitive b c)
testdata/Builtins.lc 325:19-325:22  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 325:19-325:39  List (Primitive V4 V0) -> List (Primitive V4 V1) | V2->V2 -> List (Primitive V3 V1) -> List (Primitive V3 V2)
testdata/Builtins.lc 325:23-325:39  Primitive V6 V0 -> Primitive V6 V1
testdata/Builtins.lc 325:24-325:36  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 325:37-325:38  V8->V8
testdata/Builtins.lc 327:1-327:6  {a} -> String -> c:PrimitiveType -> a -> List (Primitive a c)
testdata/Builtins.lc 327:15-327:21  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> List (Primitive b a)
testdata/Builtins.lc 327:15-327:24  {a} -> {b:Unit} -> String -> a -> List (Primitive a V6)
testdata/Builtins.lc 327:15-327:26  V0 -> List (Primitive V1 V4)
testdata/Builtins.lc 327:15-327:28  List (Primitive V1 V2)
testdata/Builtins.lc 327:23-327:24  V3
testdata/Builtins.lc 327:25-327:26  V5
testdata/Builtins.lc 327:27-327:28  V2
testdata/Builtins.lc 328:1-328:12  {a} -> b:PrimitiveType -> a -> List (Primitive (FTRepr' a) b)
testdata/Builtins.lc 328:19-328:31  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> List (Primitive b a)
testdata/Builtins.lc 328:19-328:34  {a} -> {b} -> {c:Unit} -> {d : a ~ FTRepr' b} -> b -> List (Primitive a V7)
testdata/Builtins.lc 328:19-328:36  List (Primitive (FTRepr' V1) V2)
testdata/Builtins.lc 328:33-328:34  V3
testdata/Builtins.lc 328:35-328:36  V2
testdata/Builtins.lc 330:17-330:31  Type
testdata/Builtins.lc 330:35-330:39  Type
testdata/Builtins.lc 331:1-331:13  ImageSemantics->Type
testdata/Builtins.lc 331:21-331:22  ImageSemantics
testdata/Builtins.lc 331:21-333:29  ImageSemantics->Type | Type
testdata/Builtins.lc 331:26-331:27  Type | Type->Type
testdata/Builtins.lc 331:26-333:29  ImageSemantics->Type
testdata/Builtins.lc 332:26-332:27  Type | Type->V1
testdata/Builtins.lc 332:26-333:29  Type->Type -> ImageSemantics->Type
testdata/Builtins.lc 333:28-333:29  Type | Type->Type
testdata/Builtins.lc 335:19-335:33  Type
testdata/Builtins.lc 335:38-335:42  Type
testdata/Builtins.lc 336:1-336:14  List ImageSemantics -> Type
testdata/Builtins.lc 336:20-336:23  Type
testdata/Builtins.lc 336:20-341:114  List ImageSemantics -> Type | Type
testdata/Builtins.lc 337:21-337:33  ImageSemantics->Type
testdata/Builtins.lc 337:21-337:35  Type
testdata/Builtins.lc 337:21-341:114  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 337:34-337:35  V3
testdata/Builtins.lc 338:24-338:57  Type
testdata/Builtins.lc 338:24-341:114  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 338:26-338:38  ImageSemantics->Type
testdata/Builtins.lc 338:26-338:40  Type
testdata/Builtins.lc 338:39-338:40  ImageSemantics
testdata/Builtins.lc 338:42-338:54  ImageSemantics->Type
testdata/Builtins.lc 338:42-338:56  Type
testdata/Builtins.lc 338:55-338:56  V3
testdata/Builtins.lc 339:27-339:76  Type
testdata/Builtins.lc 339:27-341:114  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 339:29-339:41  ImageSemantics->Type
testdata/Builtins.lc 339:29-339:43  Type
testdata/Builtins.lc 339:29-339:59  Type->Type
testdata/Builtins.lc 339:42-339:43  ImageSemantics
testdata/Builtins.lc 339:45-339:57  ImageSemantics->Type
testdata/Builtins.lc 339:45-339:59  Type
testdata/Builtins.lc 339:58-339:59  ImageSemantics
testdata/Builtins.lc 339:61-339:73  ImageSemantics->Type
testdata/Builtins.lc 339:61-339:75  Type
testdata/Builtins.lc 339:74-339:75  V3
testdata/Builtins.lc 340:30-340:95  Type
testdata/Builtins.lc 340:30-341:114  List ImageSemantics -> Type | List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 340:32-340:44  ImageSemantics->Type
testdata/Builtins.lc 340:32-340:46  Type
testdata/Builtins.lc 340:32-340:62  Type -> Type->Type
testdata/Builtins.lc 340:32-340:78  Type->Type
testdata/Builtins.lc 340:45-340:46  ImageSemantics
testdata/Builtins.lc 340:48-340:60  ImageSemantics->Type
testdata/Builtins.lc 340:48-340:62  Type
testdata/Builtins.lc 340:61-340:62  ImageSemantics
testdata/Builtins.lc 340:64-340:76  ImageSemantics->Type
testdata/Builtins.lc 340:64-340:78  Type
testdata/Builtins.lc 340:77-340:78  ImageSemantics
testdata/Builtins.lc 340:80-340:92  ImageSemantics->Type
testdata/Builtins.lc 340:80-340:94  Type
testdata/Builtins.lc 340:93-340:94  V3
testdata/Builtins.lc 341:33-341:114  List V1 -> Type | Type | V0 -> List V1 -> Type
testdata/Builtins.lc 341:35-341:47  ImageSemantics->Type
testdata/Builtins.lc 341:35-341:49  Type
testdata/Builtins.lc 341:35-341:65  Type -> Type -> Type->Type
testdata/Builtins.lc 341:35-341:81  Type -> Type->Type
testdata/Builtins.lc 341:35-341:97  Type->Type
testdata/Builtins.lc 341:48-341:49  ImageSemantics
testdata/Builtins.lc 341:51-341:63  ImageSemantics->Type
testdata/Builtins.lc 341:51-341:65  Type
testdata/Builtins.lc 341:64-341:65  ImageSemantics
testdata/Builtins.lc 341:67-341:79  ImageSemantics->Type
testdata/Builtins.lc 341:67-341:81  Type
testdata/Builtins.lc 341:80-341:81  ImageSemantics
testdata/Builtins.lc 341:83-341:95  ImageSemantics->Type
testdata/Builtins.lc 341:83-341:97  Type
testdata/Builtins.lc 341:96-341:97  ImageSemantics
testdata/Builtins.lc 341:99-341:111  ImageSemantics->Type
testdata/Builtins.lc 341:99-341:113  Type
testdata/Builtins.lc 341:112-341:113  V3
testdata/Builtins.lc 343:19-343:33  Type
testdata/Builtins.lc 343:38-343:42  Type
testdata/Builtins.lc 344:1-344:14  List ImageSemantics -> Type
testdata/Builtins.lc 344:16-344:26  List ImageSemantics
testdata/Builtins.lc 344:16-345:34  List ImageSemantics -> Type | Type
testdata/Builtins.lc 344:30-344:43  List ImageSemantics -> Type
testdata/Builtins.lc 344:30-344:45  Type | Type->V1
testdata/Builtins.lc 344:30-345:34  List V1 -> Type | Type | Type->Type -> ImageSemantics->Type | V0 -> List V1 -> Type
testdata/Builtins.lc 344:44-344:45  List V3
testdata/Builtins.lc 345:19-345:32  List ImageSemantics -> Type
testdata/Builtins.lc 345:19-345:34  Type | Type->Type
testdata/Builtins.lc 345:33-345:34  List ImageSemantics
testdata/Builtins.lc 349:6-349:11  Type | Type->Type
testdata/Builtins.lc 349:6-351:11  Type
testdata/Builtins.lc 349:6-351:13  Type
testdata/Builtins.lc 350:7-350:14  Maybe V1 | {a} -> Maybe a
testdata/Builtins.lc 351:7-351:11  Maybe V3 | Type | {a} -> a -> Maybe a
testdata/Builtins.lc 351:12-351:13  Type
testdata/Builtins.lc 354:6-354:12  Nat -> Type->Type | Type
testdata/Builtins.lc 354:19-354:22  Type
testdata/Builtins.lc 356:6-356:14  Nat -> Type->Type
testdata/Builtins.lc 356:21-356:27  Nat -> Type->Type
testdata/Builtins.lc 356:21-356:29  Type->Type
testdata/Builtins.lc 356:21-356:56  Type
testdata/Builtins.lc 356:28-356:29  V3
testdata/Builtins.lc 356:30-356:56  Type
testdata/Builtins.lc 356:31-356:36  Type->Type
testdata/Builtins.lc 356:37-356:55  Type
testdata/Builtins.lc 356:38-356:52  Type->Type
testdata/Builtins.lc 356:53-356:54  V1
testdata/Builtins.lc 358:6-358:20  Type | Type->Type
testdata/Builtins.lc 358:6-358:39  Type
testdata/Builtins.lc 358:6-360:29  Type
testdata/Builtins.lc 358:25-358:39  SimpleFragment V3 | Type | V2 | {a} -> VecS Float 3 -> a -> SimpleFragment a
testdata/Builtins.lc 359:7-359:22  {a} -> SimpleFragment a -> VecS Float 3
testdata/Builtins.lc 359:28-359:31  Nat -> Type->Type
testdata/Builtins.lc 359:28-359:33  Type->Type
testdata/Builtins.lc 359:28-359:39  Type
testdata/Builtins.lc 359:32-359:33  V1
testdata/Builtins.lc 359:34-359:39  Type
testdata/Builtins.lc 360:7-360:21  {a} -> SimpleFragment a -> a
testdata/Builtins.lc 360:28-360:29  Type
testdata/Builtins.lc 363:6-363:20  Nat -> Type->Type
testdata/Builtins.lc 363:28-363:36  Nat -> Type->Type
testdata/Builtins.lc 363:28-363:38  Type->Type
testdata/Builtins.lc 363:28-363:40  Type
testdata/Builtins.lc 363:37-363:38  V3
testdata/Builtins.lc 363:39-363:40  V1
testdata/Builtins.lc 365:1-365:15  {a} -> {b:Nat} -> a->Float -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 365:19-365:63  Type
testdata/Builtins.lc 365:20-365:21  V3
testdata/Builtins.lc 365:25-365:30  Type
testdata/Builtins.lc 365:35-365:43  Nat -> Type->Type
testdata/Builtins.lc 365:35-365:45  Type->Type
testdata/Builtins.lc 365:35-365:47  Type
testdata/Builtins.lc 365:35-365:63  Type
testdata/Builtins.lc 365:44-365:45  V2
testdata/Builtins.lc 365:46-365:47  Type
testdata/Builtins.lc 365:51-365:59  Nat -> Type->Type
testdata/Builtins.lc 365:51-365:61  Type->Type
testdata/Builtins.lc 365:51-365:63  Type
testdata/Builtins.lc 365:60-365:61  Nat
testdata/Builtins.lc 365:62-365:63  Type
testdata/Builtins.lc 367:20-367:76  Type
testdata/Builtins.lc 367:21-367:22  V3
testdata/Builtins.lc 367:26-367:31  Type
testdata/Builtins.lc 367:36-367:50  Nat -> Type->Type
testdata/Builtins.lc 367:36-367:52  Type->Type
testdata/Builtins.lc 367:36-367:54  Type
testdata/Builtins.lc 367:36-367:76  Type
testdata/Builtins.lc 367:51-367:52  V2
testdata/Builtins.lc 367:53-367:54  Type
testdata/Builtins.lc 367:58-367:72  Nat -> Type->Type
testdata/Builtins.lc 367:58-367:74  Type->Type
testdata/Builtins.lc 367:58-367:76  Type
testdata/Builtins.lc 367:73-367:74  Nat
testdata/Builtins.lc 367:75-367:76  Type
testdata/Builtins.lc 368:1-368:16  {a} -> {b:Nat} -> a->Float -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 368:21-368:24  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 368:21-368: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 368:25-368:43  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 368:26-368:40  {a} -> {b:Nat} -> a->Float -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 368:41-368:42  V6->Float
testdata/Builtins.lc 370:1-370:15  {a} -> {b:Nat} -> a->Bool -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 370:19-370:62  Type
testdata/Builtins.lc 370:20-370:21  V3
testdata/Builtins.lc 370:25-370:29  Type
testdata/Builtins.lc 370:34-370:42  Nat -> Type->Type
testdata/Builtins.lc 370:34-370:44  Type->Type
testdata/Builtins.lc 370:34-370:46  Type
testdata/Builtins.lc 370:34-370:62  Type
testdata/Builtins.lc 370:43-370:44  V2
testdata/Builtins.lc 370:45-370:46  Type
testdata/Builtins.lc 370:50-370:58  Nat -> Type->Type
testdata/Builtins.lc 370:50-370:60  Type->Type
testdata/Builtins.lc 370:50-370:62  Type
testdata/Builtins.lc 370:59-370:60  Nat
testdata/Builtins.lc 370:61-370:62  Type
testdata/Builtins.lc 372:20-372:75  Type
testdata/Builtins.lc 372:21-372:22  V3
testdata/Builtins.lc 372:26-372:30  Type
testdata/Builtins.lc 372:35-372:49  Nat -> Type->Type
testdata/Builtins.lc 372:35-372:51  Type->Type
testdata/Builtins.lc 372:35-372:53  Type
testdata/Builtins.lc 372:35-372:75  Type
testdata/Builtins.lc 372:50-372:51  V2
testdata/Builtins.lc 372:52-372:53  Type
testdata/Builtins.lc 372:57-372:71  Nat -> Type->Type
testdata/Builtins.lc 372:57-372:73  Type->Type
testdata/Builtins.lc 372:57-372:75  Type
testdata/Builtins.lc 372:72-372:73  Nat
testdata/Builtins.lc 372:74-372:75  Type
testdata/Builtins.lc 373:1-373:16  {a} -> {b:Nat} -> a->Bool -> List (Vector b (Maybe (SimpleFragment a))) -> List (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 373:21-373:24  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 373:21-373: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 373:25-373:43  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 373:26-373:40  {a} -> {b:Nat} -> a->Bool -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 373:41-373:42  V6->Bool
testdata/Builtins.lc 375:1-375:12  {a} -> {b} -> {c:Nat} -> a->b -> Vector c (Maybe (SimpleFragment a)) -> Vector c (Maybe (SimpleFragment b))
testdata/Builtins.lc 375:16-375:56  Type
testdata/Builtins.lc 375:17-375:18  V5
testdata/Builtins.lc 375:22-375:23  Type | V4
testdata/Builtins.lc 375:28-375:36  Nat -> Type->Type
testdata/Builtins.lc 375:28-375:38  Type->Type
testdata/Builtins.lc 375:28-375:40  Type
testdata/Builtins.lc 375:28-375:56  Type
testdata/Builtins.lc 375:37-375:38  V2
testdata/Builtins.lc 375:39-375:40  Type
testdata/Builtins.lc 375:44-375:52  Nat -> Type->Type
testdata/Builtins.lc 375:44-375:54  Type->Type
testdata/Builtins.lc 375:44-375:56  Type
testdata/Builtins.lc 375:53-375:54  Nat
testdata/Builtins.lc 375:55-375:56  Type
testdata/Builtins.lc 377:17-377:69  Type
testdata/Builtins.lc 377:18-377:19  V5
testdata/Builtins.lc 377:23-377:24  Type | V4
testdata/Builtins.lc 377:29-377:43  Nat -> Type->Type
testdata/Builtins.lc 377:29-377:45  Type->Type
testdata/Builtins.lc 377:29-377:47  Type
testdata/Builtins.lc 377:29-377:69  Type
testdata/Builtins.lc 377:44-377:45  V2
testdata/Builtins.lc 377:46-377:47  Type
testdata/Builtins.lc 377:51-377:65  Nat -> Type->Type
testdata/Builtins.lc 377:51-377:67  Type->Type
testdata/Builtins.lc 377:51-377:69  Type
testdata/Builtins.lc 377:66-377:67  Nat
testdata/Builtins.lc 377:68-377:69  Type
testdata/Builtins.lc 378:1-378:13  {a} -> {b} -> {c:Nat} -> a->b -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 378:18-378:21  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 378:18-378: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 378:22-378:37  Vector V0 (Maybe (SimpleFragment V6)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 378:23-378:34  {a} -> {b} -> {c:Nat} -> a->b -> Vector c (Maybe (SimpleFragment a)) -> Vector c (Maybe (SimpleFragment b))
testdata/Builtins.lc 378:35-378:36  V8->V8
testdata/Builtins.lc 381:6-381:18  Type | Type->Type
testdata/Builtins.lc 381:6-384:7  Type
testdata/Builtins.lc 382:3-382:9  Interpolated V2 | Type | {a} -> {b : Floating a} -> Interpolated a
testdata/Builtins.lc 382:11-382:24  Interpolated V3 | Type | {a} -> {b : Floating a} -> Interpolated a
testdata/Builtins.lc 383:26-383:38  Type
testdata/Builtins.lc 383:26-383:56  Type
testdata/Builtins.lc 383:27-383:35  Type->Type
testdata/Builtins.lc 383:36-383:37  Type
testdata/Builtins.lc 383:42-383:54  Type->Type
testdata/Builtins.lc 383:42-383:56  Type
testdata/Builtins.lc 383:55-383:56  Type
testdata/Builtins.lc 384:3-384:7  Interpolated V3 | {a} -> Interpolated a
testdata/Builtins.lc 384:42-384:54  Type->Type
testdata/Builtins.lc 384:42-384:56  Type
testdata/Builtins.lc 384:55-384:56  Type
testdata/Builtins.lc 387:5-387:21  Type->Type
testdata/Builtins.lc 387:27-387:29  Type
testdata/Builtins.lc 387:27-390:82  Type | Type->Type
testdata/Builtins.lc 388:36-388:37  Type
testdata/Builtins.lc 388:36-388:42  Type->Type
testdata/Builtins.lc 388:36-390:82  Type
testdata/Builtins.lc 388:41-388:42  Type | Type->Type
testdata/Builtins.lc 389:23-389:53  Type
testdata/Builtins.lc 389:23-389:63  Type->Type
testdata/Builtins.lc 389:23-390:82  Type
testdata/Builtins.lc 389:57-389:63  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 389:58-389:59  Type
testdata/Builtins.lc 389:61-389:62  Type
testdata/Builtins.lc 390:23-390:69  Type
testdata/Builtins.lc 390:23-390:82  Type->Type
testdata/Builtins.lc 390:73-390:82  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 390:74-390:75  Type
testdata/Builtins.lc 390:74-390:78  Type->Type
testdata/Builtins.lc 390:77-390:78  Type
testdata/Builtins.lc 390:80-390:81  Type
testdata/Builtins.lc 392:1-392:19  {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 393:8-398:26  Type
testdata/Builtins.lc 393:10-393:11  V8
testdata/Builtins.lc 393:10-393:13  V7->Type
testdata/Builtins.lc 393:10-393:44  Type
testdata/Builtins.lc 393:12-393:13  {a} -> a -> a->Type
testdata/Builtins.lc 393:14-393:30  Type->Type
testdata/Builtins.lc 393:14-393:44  Type
testdata/Builtins.lc 393:31-393:44  V5
testdata/Builtins.lc 394:10-394:11  V5
testdata/Builtins.lc 394:10-394:13  V4->Type
testdata/Builtins.lc 394:10-394:43  Type
testdata/Builtins.lc 394:10-398:26  Type
testdata/Builtins.lc 394:12-394:13  {a} -> a -> a->Type
testdata/Builtins.lc 394:14-394:27  Type -> Type->Type
testdata/Builtins.lc 394:14-394:41  Type->Type
testdata/Builtins.lc 394:14-394:43  Type
testdata/Builtins.lc 394:28-394:41  Type
testdata/Builtins.lc 394:29-394:32  Nat -> Type->Type
testdata/Builtins.lc 394:29-394:34  Type->Type
testdata/Builtins.lc 394:33-394:34  V1
testdata/Builtins.lc 394:35-394:40  Type
testdata/Builtins.lc 394:42-394:43  Type
testdata/Builtins.lc 395:8-395:21  Type
testdata/Builtins.lc 395:8-398:26  Type
testdata/Builtins.lc 396:8-396:21  Type -> PrimitiveType->Type
testdata/Builtins.lc 396:8-396:23  PrimitiveType->Type
testdata/Builtins.lc 396:8-396:25  Type
testdata/Builtins.lc 396:8-398:26  Type
testdata/Builtins.lc 396:22-396:23  Type
testdata/Builtins.lc 396:24-396:25  V4
testdata/Builtins.lc 397:8-397:17  Type -> PrimitiveType->Type
testdata/Builtins.lc 397:8-397:19  PrimitiveType->Type
testdata/Builtins.lc 397:8-397:21  Type
testdata/Builtins.lc 397:8-398:26  Type
testdata/Builtins.lc 397:18-397:19  Type
testdata/Builtins.lc 397:20-397:21  PrimitiveType
testdata/Builtins.lc 398:8-398:22  Nat -> Type->Type
testdata/Builtins.lc 398:8-398:24  Type->Type
testdata/Builtins.lc 398:8-398:26  Type
testdata/Builtins.lc 398:23-398:24  V1
testdata/Builtins.lc 398:25-398:26  Type
testdata/Builtins.lc 400:1-400: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 400:32-400:38  {a} -> List (List a) -> List a
testdata/Builtins.lc 400:32-400:74  List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3))))
testdata/Builtins.lc 400:39-400:74  List (List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3)))))
testdata/Builtins.lc 400:40-400:43  {a} -> {b} -> a->b -> List a -> List b
testdata/Builtins.lc 400:40-400:71  List (Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V5)) V0) -> List (List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V6)))))
testdata/Builtins.lc 400:44-400:71  Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V5)) V0 -> List (Vector 1 (Maybe (SimpleFragment (InterpolatedType V6))))
testdata/Builtins.lc 400:45-400:63  {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 400:45-400:66  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 400:64-400:66  V8
testdata/Builtins.lc 400:67-400:70  V7
testdata/Builtins.lc 400:72-400:73  V2
testdata/Builtins.lc 402:6-402:11  Nat -> ImageSemantics->Type | Type
testdata/Builtins.lc 402:6-402:43  Type
testdata/Builtins.lc 402:18-402:21  Type
testdata/Builtins.lc 402:29-402:43  Type
testdata/Builtins.lc 404:1-404:11  {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a ('Color d)
testdata/Builtins.lc 404:45-405:55  Type
testdata/Builtins.lc 404:46-404:49  Type->Type
testdata/Builtins.lc 404:46-404:51  Type
testdata/Builtins.lc 404:50-404:51  V3
testdata/Builtins.lc 404:53-404:58  V3
testdata/Builtins.lc 404:53-404:60  V2->Type
testdata/Builtins.lc 404:53-404:74  Type
testdata/Builtins.lc 404:53-405:55  Type
testdata/Builtins.lc 404:59-404:60  {a} -> a -> a->Type
testdata/Builtins.lc 404:61-404:70  Nat -> Type->Type
testdata/Builtins.lc 404:61-404:72  Type->Type
testdata/Builtins.lc 404:61-404:74  Type
testdata/Builtins.lc 404:71-404:72  V5
testdata/Builtins.lc 404:73-404:74  Type
testdata/Builtins.lc 405:24-405:29  Type
testdata/Builtins.lc 405:24-405:55  Type
testdata/Builtins.lc 405:34-405:39  Nat -> ImageSemantics->Type
testdata/Builtins.lc 405:34-405:41  ImageSemantics->Type
testdata/Builtins.lc 405:34-405:55  Type
testdata/Builtins.lc 405:40-405:41  V7
testdata/Builtins.lc 405:42-405:55  ImageSemantics
testdata/Builtins.lc 405:43-405:48  Type->ImageSemantics
testdata/Builtins.lc 405:49-405:54  Type
testdata/Builtins.lc 406:1-406:11  {a:Nat} -> Float -> Image a ('Depth Float)
testdata/Builtins.lc 406:35-406:40  Type
testdata/Builtins.lc 406:35-406:66  Type
testdata/Builtins.lc 406:45-406:50  Nat -> ImageSemantics->Type
testdata/Builtins.lc 406:45-406:52  ImageSemantics->Type
testdata/Builtins.lc 406:45-406:66  Type
testdata/Builtins.lc 406:51-406:52  V2
testdata/Builtins.lc 406:53-406:66  ImageSemantics
testdata/Builtins.lc 406:54-406:59  Type->ImageSemantics
testdata/Builtins.lc 406:60-406:65  Type
testdata/Builtins.lc 407:1-407:13  {a:Nat} -> Int -> Image a ('Stencil Int)
testdata/Builtins.lc 407:35-407:38  Type
testdata/Builtins.lc 407:35-407:66  Type
testdata/Builtins.lc 407:45-407:50  Nat -> ImageSemantics->Type
testdata/Builtins.lc 407:45-407:52  ImageSemantics->Type
testdata/Builtins.lc 407:45-407:66  Type
testdata/Builtins.lc 407:51-407:52  V2
testdata/Builtins.lc 407:53-407:66  ImageSemantics
testdata/Builtins.lc 407:54-407:61  Type->ImageSemantics
testdata/Builtins.lc 407:62-407:65  Type
testdata/Builtins.lc 410:5-410:20  Type->Type
testdata/Builtins.lc 410:28-410:33  Type
testdata/Builtins.lc 410:28-410:41  Type->Type
testdata/Builtins.lc 410:28-412:99  Type | Type->Type
testdata/Builtins.lc 410:37-410:41  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type
testdata/Builtins.lc 411:22-411:46  Type
testdata/Builtins.lc 411:22-411:64  Type->Type
testdata/Builtins.lc 411:22-412:99  Type
testdata/Builtins.lc 411:50-411:54  a:Type -> a -> a->Type
testdata/Builtins.lc 411:50-411:58  Nat -> Nat->Type
testdata/Builtins.lc 411:50-411:61  Nat->Type
testdata/Builtins.lc 411:50-411:64  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 411:55-411:58  Type
testdata/Builtins.lc 411:59-411:61  Nat
testdata/Builtins.lc 411:62-411:64  Nat
testdata/Builtins.lc 412:22-412:59  Type
testdata/Builtins.lc 412:22-412:99  Type->Type
testdata/Builtins.lc 412:63-412:65  Type -> Type->Type
testdata/Builtins.lc 412:63-412:82  Type->Type
testdata/Builtins.lc 412:63-412:99  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 412:66-412:82  Type
testdata/Builtins.lc 412:67-412:71  a:Type -> a -> a->Type
testdata/Builtins.lc 412:67-412:75  Nat -> Nat->Type
testdata/Builtins.lc 412:67-412:78  Nat->Type
testdata/Builtins.lc 412:72-412:75  Type
testdata/Builtins.lc 412:76-412:78  Nat
testdata/Builtins.lc 412:79-412:81  Nat
testdata/Builtins.lc 412:83-412:99  Type
testdata/Builtins.lc 412:84-412:88  a:Type -> a -> a->Type
testdata/Builtins.lc 412:84-412:92  Nat -> Nat->Type
testdata/Builtins.lc 412:84-412:95  Nat->Type
testdata/Builtins.lc 412:89-412:92  Type
testdata/Builtins.lc 412:93-412:95  Nat
testdata/Builtins.lc 412:96-412:98  Nat
testdata/Builtins.lc 423:6-423:17  Nat -> List ImageSemantics -> Type | Type
testdata/Builtins.lc 423:6-423:51  Type
testdata/Builtins.lc 423:24-423:27  Type
testdata/Builtins.lc 423:35-423:51  Type
testdata/Builtins.lc 423:36-423:50  Type
testdata/Builtins.lc 425:1-425:11  {a : List ImageSemantics} -> {b:Nat} -> FragOps a -> List (Vector b (Maybe (SimpleFragment ('remSemantics' a)))) -> FrameBuffer b a -> FrameBuffer b a
testdata/Builtins.lc 425:15-425:22  List ImageSemantics -> Type
testdata/Builtins.lc 425:15-425:24  Type
testdata/Builtins.lc 425:15-425:100  Type
testdata/Builtins.lc 425:23-425:24  V3
testdata/Builtins.lc 425:28-425:42  Nat -> Type->Type
testdata/Builtins.lc 425:28-425:44  Type->Type
testdata/Builtins.lc 425:28-425:62  Type
testdata/Builtins.lc 425:28-425:100  Type
testdata/Builtins.lc 425:43-425:44  V2
testdata/Builtins.lc 425:45-425:62  Type
testdata/Builtins.lc 425:46-425:59  List ImageSemantics -> Type
testdata/Builtins.lc 425:60-425:61  List ImageSemantics
testdata/Builtins.lc 425:66-425:77  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 425:66-425:79  List ImageSemantics -> Type
testdata/Builtins.lc 425:66-425:81  Type
testdata/Builtins.lc 425:66-425:100  Type
testdata/Builtins.lc 425:78-425:79  Nat
testdata/Builtins.lc 425:80-425:81  List ImageSemantics
testdata/Builtins.lc 425:85-425:96  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 425:85-425:98  List ImageSemantics -> Type
testdata/Builtins.lc 425:85-425:100  Type
testdata/Builtins.lc 425:97-425:98  Nat
testdata/Builtins.lc 425:99-425:100  List ImageSemantics
testdata/Builtins.lc 428:5-428:18  Type->Type
testdata/Builtins.lc 428:26-428:31  Type
testdata/Builtins.lc 428:26-428:55  Type->Type
testdata/Builtins.lc 428:26-430:89  Type | Type->Type
testdata/Builtins.lc 428:35-428:46  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 428:35-428:49  List ImageSemantics -> Type
testdata/Builtins.lc 428:35-428:55  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type
testdata/Builtins.lc 428:47-428:49  Nat
testdata/Builtins.lc 428:50-428:55  List ImageSemantics
testdata/Builtins.lc 428:52-428:54  ImageSemantics
testdata/Builtins.lc 429:20-429:44  Type
testdata/Builtins.lc 429:20-429:72  Type->Type
testdata/Builtins.lc 429:20-430:89  Type
testdata/Builtins.lc 429:48-429:59  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 429:48-429:62  List ImageSemantics -> Type
testdata/Builtins.lc 429:48-429:72  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 429:60-429:62  Nat
testdata/Builtins.lc 429:63-429:72  List ImageSemantics
testdata/Builtins.lc 429:65-429:67  ImageSemantics
testdata/Builtins.lc 429:69-429:71  ImageSemantics | List ImageSemantics
testdata/Builtins.lc 430:20-430:57  Type
testdata/Builtins.lc 430:20-430:89  Type->Type
testdata/Builtins.lc 430:61-430:72  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 430:61-430:75  List ImageSemantics -> Type
testdata/Builtins.lc 430:61-430:89  ImageSemantics->Type | Nat -> ImageSemantics->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 430:73-430:75  Nat
testdata/Builtins.lc 430:76-430:89  List ImageSemantics
testdata/Builtins.lc 430:78-430:80  ImageSemantics
testdata/Builtins.lc 430:82-430:84  ImageSemantics
testdata/Builtins.lc 430:82-430:88  List ImageSemantics
testdata/Builtins.lc 430:86-430:88  ImageSemantics | List ImageSemantics
testdata/Builtins.lc 432:7-432:23  List ImageSemantics -> Type
testdata/Builtins.lc 432:31-432:45  Type
testdata/Builtins.lc 435:1-435:12  {a : List ImageSemantics} -> {b} -> {c:Nat} -> {d:Unit} -> {e : SameLayerCounts b} -> {f : FrameBuffer c a ~ TFFrameBuffer b} -> b -> FrameBuffer c a
testdata/Builtins.lc 435:17-435:115  Type
testdata/Builtins.lc 435:18-435:34  List ImageSemantics -> Type
testdata/Builtins.lc 435:18-435:36  Type
testdata/Builtins.lc 435:35-435:36  V5
testdata/Builtins.lc 435:38-435:53  Type->Type
testdata/Builtins.lc 435:38-435:55  Type
testdata/Builtins.lc 435:38-435:115  Type
testdata/Builtins.lc 435:54-435:55  V4
testdata/Builtins.lc 435:57-435:68  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 435:57-435:70  List ImageSemantics -> Type
testdata/Builtins.lc 435:57-435:72  Type
testdata/Builtins.lc 435:57-435:74  Type->Type
testdata/Builtins.lc 435:57-435:90  Type
testdata/Builtins.lc 435:57-435:115  Type
testdata/Builtins.lc 435:69-435:70  V4
testdata/Builtins.lc 435:71-435:72  List ImageSemantics
testdata/Builtins.lc 435:73-435:74  {a} -> a -> a->Type
testdata/Builtins.lc 435:75-435:88  Type->Type
testdata/Builtins.lc 435:75-435:90  Type
testdata/Builtins.lc 435:89-435:90  Type
testdata/Builtins.lc 435:95-435:96  Type
testdata/Builtins.lc 435:95-435:115  Type
testdata/Builtins.lc 435:100-435:111  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 435:100-435:113  List ImageSemantics -> Type
testdata/Builtins.lc 435:100-435:115  Type
testdata/Builtins.lc 435:112-435:113  Nat
testdata/Builtins.lc 435:114-435:115  List ImageSemantics
testdata/Builtins.lc 437:1-437:11  {a : List ImageSemantics} -> {b:Nat} -> {c} -> FragOps a -> (c -> 'remSemantics' a) -> List (Vector b (Maybe (SimpleFragment c))) -> FrameBuffer b a -> FrameBuffer b a
testdata/Builtins.lc 437:34-437:44  {a : List ImageSemantics} -> {b:Nat} -> FragOps a -> List (Vector b (Maybe (SimpleFragment ('remSemantics' a)))) -> FrameBuffer b a -> FrameBuffer b a
testdata/Builtins.lc 437:34-437:48  List (Vector V0 (Maybe (SimpleFragment ('remSemantics' V1)))) -> FrameBuffer V1 V2 -> FrameBuffer V2 V3
testdata/Builtins.lc 437:34-437:76  FrameBuffer V1 V2 -> FrameBuffer V2 V3
testdata/Builtins.lc 437:34-437:79  FrameBuffer V1 V2
testdata/Builtins.lc 437:45-437:48  V9
testdata/Builtins.lc 437:49-437:76  List (Vector V1 (Maybe (SimpleFragment ('remSemantics' V2))))
testdata/Builtins.lc 437:50-437:62  {a} -> {b} -> {c:Nat} -> a->b -> List (Vector c (Maybe (SimpleFragment a))) -> List (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 437:50-437:70  List (Vector V0 (Maybe (SimpleFragment V2))) -> List (Vector V1 (Maybe (SimpleFragment V2)))
testdata/Builtins.lc 437:63-437:70  V10
testdata/Builtins.lc 437:71-437:75  V6
testdata/Builtins.lc 437:77-437:79  V4
testdata/Builtins.lc 439:1-439:20  {a} -> a->a
testdata/Builtins.lc 439:25-439:26  V1
testdata/Builtins.lc 442:1-442:9  {a:ImageSemantics} -> FrameBuffer 1 ('Cons a 'Nil) -> Image 1 a
testdata/Builtins.lc 442:24-442:35  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 442:24-442:37  List ImageSemantics -> Type
testdata/Builtins.lc 442:24-442:42  Type
testdata/Builtins.lc 442:24-442:55  Type
testdata/Builtins.lc 442:36-442:37  V1
testdata/Builtins.lc 442:38-442:42  List ImageSemantics
testdata/Builtins.lc 442:40-442:41  V2
testdata/Builtins.lc 442:46-442:51  Nat -> ImageSemantics->Type
testdata/Builtins.lc 442:46-442:53  ImageSemantics->Type
testdata/Builtins.lc 442:46-442:55  Type
testdata/Builtins.lc 442:52-442:53  V1
testdata/Builtins.lc 442:54-442:55  ImageSemantics
testdata/Builtins.lc 443:1-443:14  FrameBuffer 1 ('Cons ('Depth Float) ('Cons ('Color (VecS Float 4)) 'Nil)) -> Image 1 ('Color (VecS Float 4))
testdata/Builtins.lc 443:24-443:35  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 443:24-443:37  List ImageSemantics -> Type
testdata/Builtins.lc 443:24-443:75  Type
testdata/Builtins.lc 443:36-443:37  V1
testdata/Builtins.lc 443:38-443:75  List ImageSemantics
testdata/Builtins.lc 443:40-443:45  Type->ImageSemantics
testdata/Builtins.lc 443:40-443:52  ImageSemantics
testdata/Builtins.lc 443:46-443:52  Type
testdata/Builtins.lc 443:54-443:59  Type->ImageSemantics
testdata/Builtins.lc 443:54-443:74  ImageSemantics | List ImageSemantics
testdata/Builtins.lc 443:60-443:74  Type
testdata/Builtins.lc 443:62-443:65  Nat -> Type->Type
testdata/Builtins.lc 443:62-443:67  Type->Type
testdata/Builtins.lc 443:66-443:67  V1
testdata/Builtins.lc 443:68-443:73  Type
testdata/Builtins.lc 443:79-443:84  Nat -> ImageSemantics->Type
testdata/Builtins.lc 443:79-443:86  ImageSemantics->Type
testdata/Builtins.lc 443:79-443:108  Type
testdata/Builtins.lc 443:85-443:86  V1
testdata/Builtins.lc 443:87-443:108  ImageSemantics
testdata/Builtins.lc 443:88-443:93  Type->ImageSemantics
testdata/Builtins.lc 443:94-443:107  Type
testdata/Builtins.lc 443:95-443:98  Nat -> Type->Type
testdata/Builtins.lc 443:95-443:100  Type->Type
testdata/Builtins.lc 443:99-443:100  V1
testdata/Builtins.lc 443:101-443:106  Type
testdata/Builtins.lc 445:6-445:12  Type
testdata/Builtins.lc 445:6-446:12  Type
testdata/Builtins.lc 446:3-446:12  Output | Type | {a:Nat} -> {b : List ImageSemantics} -> FrameBuffer a b -> Output
testdata/Builtins.lc 446:26-446:37  Nat -> List ImageSemantics -> Type
testdata/Builtins.lc 446:26-446:39  List ImageSemantics -> Type
testdata/Builtins.lc 446:26-446:41  Type
testdata/Builtins.lc 446:26-446:51  Type
testdata/Builtins.lc 446:38-446:39  V3
testdata/Builtins.lc 446:40-446:41  V1
testdata/Builtins.lc 446:45-446:51  Type
testdata/Builtins.lc 452:1-452:8  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 452:10-452:17  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 452:19-452:26  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 452:34-452:37  Type->Type
testdata/Builtins.lc 452:34-452:58  Type
testdata/Builtins.lc 452:34-452:73  Type
testdata/Builtins.lc 452:38-452:58  Type
testdata/Builtins.lc 452:39-452:55  Type->Type
testdata/Builtins.lc 452:56-452:57  V1
testdata/Builtins.lc 452:62-452:63  Type
testdata/Builtins.lc 452:62-452:73  Type
testdata/Builtins.lc 452:67-452:68  Type
testdata/Builtins.lc 452:67-452:73  Type
testdata/Builtins.lc 452:72-452:73  Type
testdata/Builtins.lc 453:1-453:9  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 453:11-453:19  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 453:21-453:29  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 453:34-453:80  Type
testdata/Builtins.lc 453:35-453:36  V4
testdata/Builtins.lc 453:35-453:38  V3->Type
testdata/Builtins.lc 453:35-453:57  Type
testdata/Builtins.lc 453:37-453:38  {a} -> a -> a->Type
testdata/Builtins.lc 453:39-453:55  Type->Type
testdata/Builtins.lc 453:39-453:57  Type
testdata/Builtins.lc 453:56-453:57  V1
testdata/Builtins.lc 453:59-453:62  Type->Type
testdata/Builtins.lc 453:59-453:64  Type
testdata/Builtins.lc 453:59-453:80  Type
testdata/Builtins.lc 453:63-453:64  Type
testdata/Builtins.lc 453:69-453:70  Type
testdata/Builtins.lc 453:69-453:80  Type
testdata/Builtins.lc 453:74-453:75  Type
testdata/Builtins.lc 453:74-453:80  Type
testdata/Builtins.lc 453:79-453:80  Type
testdata/Builtins.lc 454:1-454:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 454:10-454:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 454:34-454:75  Type
testdata/Builtins.lc 454:35-454:38  Type->Type
testdata/Builtins.lc 454:35-454:40  Type
testdata/Builtins.lc 454:39-454:40  V5
testdata/Builtins.lc 454:42-454:43  V5
testdata/Builtins.lc 454:42-454:45  V4->Type
testdata/Builtins.lc 454:42-454:59  Type
testdata/Builtins.lc 454:42-454:75  Type
testdata/Builtins.lc 454:44-454:45  {a} -> a -> a->Type
testdata/Builtins.lc 454:46-454:55  Nat -> Type->Type
testdata/Builtins.lc 454:46-454:57  Type->Type
testdata/Builtins.lc 454:46-454:59  Type
testdata/Builtins.lc 454:56-454:57  V2
testdata/Builtins.lc 454:58-454:59  Type
testdata/Builtins.lc 454:64-454:65  Type
testdata/Builtins.lc 454:64-454:75  Type
testdata/Builtins.lc 454:69-454:70  Type
testdata/Builtins.lc 454:69-454:75  Type
testdata/Builtins.lc 454:74-454:75  Type
testdata/Builtins.lc 455:1-455:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 455:11-455:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 455:34-455:75  Type
testdata/Builtins.lc 455:35-455:38  Type->Type
testdata/Builtins.lc 455:35-455:40  Type
testdata/Builtins.lc 455:39-455:40  V5
testdata/Builtins.lc 455:42-455:43  V5
testdata/Builtins.lc 455:42-455:45  V4->Type
testdata/Builtins.lc 455:42-455:59  Type
testdata/Builtins.lc 455:42-455:75  Type
testdata/Builtins.lc 455:44-455:45  {a} -> a -> a->Type
testdata/Builtins.lc 455:46-455:55  Nat -> Type->Type
testdata/Builtins.lc 455:46-455:57  Type->Type
testdata/Builtins.lc 455:46-455:59  Type
testdata/Builtins.lc 455:56-455:57  V2
testdata/Builtins.lc 455:58-455:59  Type
testdata/Builtins.lc 455:64-455:65  Type
testdata/Builtins.lc 455:64-455:75  Type
testdata/Builtins.lc 455:69-455:70  Type
testdata/Builtins.lc 455:69-455:75  Type
testdata/Builtins.lc 455:74-455:75  Type
testdata/Builtins.lc 456:1-456:8  {a} -> {b : Signed (MatVecScalarElem a)} -> a->a
testdata/Builtins.lc 456:34-456:40  Type->Type
testdata/Builtins.lc 456:34-456:61  Type
testdata/Builtins.lc 456:34-456:71  Type
testdata/Builtins.lc 456:41-456:61  Type
testdata/Builtins.lc 456:42-456:58  Type->Type
testdata/Builtins.lc 456:59-456:60  V1
testdata/Builtins.lc 456:65-456:66  Type
testdata/Builtins.lc 456:65-456:71  Type
testdata/Builtins.lc 456:70-456:71  Type
testdata/Builtins.lc 458:1-458:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 458:11-458:18  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 458:20-458:28  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 458:34-458:80  Type
testdata/Builtins.lc 458:35-458:43  Type->Type
testdata/Builtins.lc 458:35-458:45  Type
testdata/Builtins.lc 458:44-458:45  V5
testdata/Builtins.lc 458:47-458:48  V5
testdata/Builtins.lc 458:47-458:50  V4->Type
testdata/Builtins.lc 458:47-458:64  Type
testdata/Builtins.lc 458:47-458:80  Type
testdata/Builtins.lc 458:49-458:50  {a} -> a -> a->Type
testdata/Builtins.lc 458:51-458:60  Nat -> Type->Type
testdata/Builtins.lc 458:51-458:62  Type->Type
testdata/Builtins.lc 458:51-458:64  Type
testdata/Builtins.lc 458:61-458:62  V2
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:10  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 459:12-459:20  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 459:22-459:31  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 459:34-459:80  Type
testdata/Builtins.lc 459:35-459:43  Type->Type
testdata/Builtins.lc 459:35-459:45  Type
testdata/Builtins.lc 459:44-459:45  V5
testdata/Builtins.lc 459:47-459:48  V5
testdata/Builtins.lc 459:47-459:50  V4->Type
testdata/Builtins.lc 459:47-459:64  Type
testdata/Builtins.lc 459:47-459:80  Type
testdata/Builtins.lc 459:49-459:50  {a} -> a -> a->Type
testdata/Builtins.lc 459:51-459:60  Nat -> Type->Type
testdata/Builtins.lc 459:51-459:62  Type->Type
testdata/Builtins.lc 459:51-459:64  Type
testdata/Builtins.lc 459:61-459:62  V2
testdata/Builtins.lc 459:63-459:64  Type
testdata/Builtins.lc 459:69-459:70  Type
testdata/Builtins.lc 459:69-459:80  Type
testdata/Builtins.lc 459:74-459:75  Type
testdata/Builtins.lc 459:74-459:80  Type
testdata/Builtins.lc 459:79-459:80  Type
testdata/Builtins.lc 460:1-460:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 460:34-460:75  Type
testdata/Builtins.lc 460:35-460:43  Type->Type
testdata/Builtins.lc 460:35-460:45  Type
testdata/Builtins.lc 460:44-460:45  V5
testdata/Builtins.lc 460:47-460:48  V5
testdata/Builtins.lc 460:47-460:50  V4->Type
testdata/Builtins.lc 460:47-460:64  Type
testdata/Builtins.lc 460:47-460:75  Type
testdata/Builtins.lc 460:49-460:50  {a} -> a -> a->Type
testdata/Builtins.lc 460:51-460:60  Nat -> Type->Type
testdata/Builtins.lc 460:51-460:62  Type->Type
testdata/Builtins.lc 460:51-460:64  Type
testdata/Builtins.lc 460:61-460:62  V2
testdata/Builtins.lc 460:63-460:64  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: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 461:14-461: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 461:34-461:102  Type
testdata/Builtins.lc 461:35-461:43  Type->Type
testdata/Builtins.lc 461:35-461:45  Type
testdata/Builtins.lc 461:44-461:45  V7
testdata/Builtins.lc 461:47-461:48  V7
testdata/Builtins.lc 461:47-461:50  V6->Type
testdata/Builtins.lc 461:47-461:64  Type
testdata/Builtins.lc 461:47-461:102  Type
testdata/Builtins.lc 461:49-461:50  {a} -> a -> a->Type
testdata/Builtins.lc 461:51-461:60  Nat -> Type->Type
testdata/Builtins.lc 461:51-461:62  Type->Type
testdata/Builtins.lc 461:51-461:64  Type
testdata/Builtins.lc 461:61-461:62  V4
testdata/Builtins.lc 461:63-461:64  Type
testdata/Builtins.lc 461:66-461:67  V4
testdata/Builtins.lc 461:66-461:69  V3->Type
testdata/Builtins.lc 461:66-461:86  Type
testdata/Builtins.lc 461:66-461:102  Type
testdata/Builtins.lc 461:68-461:69  {a} -> a -> a->Type
testdata/Builtins.lc 461:70-461:79  Nat -> Type->Type
testdata/Builtins.lc 461:70-461:81  Type->Type
testdata/Builtins.lc 461:70-461:86  Type
testdata/Builtins.lc 461:80-461:81  Nat
testdata/Builtins.lc 461:82-461:86  Type
testdata/Builtins.lc 461:91-461:92  Type
testdata/Builtins.lc 461:91-461:102  Type
testdata/Builtins.lc 461:96-461:97  Type
testdata/Builtins.lc 461:96-461:102  Type
testdata/Builtins.lc 461:101-461:102  Type
testdata/Builtins.lc 462:1-462:13  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 462:15-462:27  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 462:34-462:83  Type
testdata/Builtins.lc 462:35-462:43  Type->Type
testdata/Builtins.lc 462:35-462:45  Type
testdata/Builtins.lc 462:44-462:45  V5
testdata/Builtins.lc 462:47-462:48  V5
testdata/Builtins.lc 462:47-462:50  V4->Type
testdata/Builtins.lc 462:47-462:64  Type
testdata/Builtins.lc 462:47-462:83  Type
testdata/Builtins.lc 462:49-462:50  {a} -> a -> a->Type
testdata/Builtins.lc 462:51-462:60  Nat -> Type->Type
testdata/Builtins.lc 462:51-462:62  Type->Type
testdata/Builtins.lc 462:51-462:64  Type
testdata/Builtins.lc 462:61-462:62  V2
testdata/Builtins.lc 462:63-462:64  Type
testdata/Builtins.lc 462:69-462:70  Type
testdata/Builtins.lc 462:69-462:83  Type
testdata/Builtins.lc 462:74-462:78  Type
testdata/Builtins.lc 462:74-462:83  Type
testdata/Builtins.lc 462:82-462:83  Type
testdata/Builtins.lc 464:1-464:8  Bool -> Bool->Bool
testdata/Builtins.lc 464:10-464:16  Bool -> Bool->Bool
testdata/Builtins.lc 464:18-464:25  Bool -> Bool->Bool
testdata/Builtins.lc 464:34-464:38  Type
testdata/Builtins.lc 464:42-464:46  Type
testdata/Builtins.lc 464:42-464:54  Type
testdata/Builtins.lc 464:50-464:54  Type
testdata/Builtins.lc 465:1-465:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Bool} -> a->a
testdata/Builtins.lc 465:47-465:69  Type
testdata/Builtins.lc 465:47-465:79  Type
testdata/Builtins.lc 465:48-465:49  V4
testdata/Builtins.lc 465:48-465:51  V3->Type
testdata/Builtins.lc 465:50-465:51  {a} -> a -> a->Type
testdata/Builtins.lc 465:52-465:61  Nat -> Type->Type
testdata/Builtins.lc 465:52-465:63  Type->Type
testdata/Builtins.lc 465:52-465:68  Type
testdata/Builtins.lc 465:62-465:63  V1
testdata/Builtins.lc 465:64-465:68  Type
testdata/Builtins.lc 465:73-465:74  Type
testdata/Builtins.lc 465:73-465:79  Type
testdata/Builtins.lc 465:78-465:79  Type
testdata/Builtins.lc 466:1-466:8  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 466:10-466:17  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 466:34-466:43  Nat -> Type->Type
testdata/Builtins.lc 466:34-466:45  Type->Type
testdata/Builtins.lc 466:34-466:50  Type
testdata/Builtins.lc 466:34-466:58  Type
testdata/Builtins.lc 466:44-466:45  V1
testdata/Builtins.lc 466:46-466:50  Type
testdata/Builtins.lc 466:54-466:58  Type
testdata/Builtins.lc 469:1-469:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:11-469:20  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:22-469:30  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:32-469:41  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:43-469:51  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:53-469:62  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:64-469:71  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:73-469:81  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:83-469:94  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:96-469:107  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:109-469:116  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:118-469:126  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:128-469:135  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:137-469:145  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:147-469:154  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:156-469:163  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:165-469:173  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:175-469:183  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:185-469:193  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 469:195-469:206  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 470:34-470:57  Type
testdata/Builtins.lc 470:34-470:67  Type
testdata/Builtins.lc 470:35-470:36  V4
testdata/Builtins.lc 470:35-470:38  V3->Type
testdata/Builtins.lc 470:37-470:38  {a} -> a -> a->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:56  Type
testdata/Builtins.lc 470:49-470:50  V1
testdata/Builtins.lc 470:51-470:56  Type
testdata/Builtins.lc 470:61-470:62  Type
testdata/Builtins.lc 470:61-470:67  Type
testdata/Builtins.lc 470:66-470:67  Type
testdata/Builtins.lc 471:1-471:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 471:10-471:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 471:34-471:57  Type
testdata/Builtins.lc 471:34-471:72  Type
testdata/Builtins.lc 471:35-471:36  V4
testdata/Builtins.lc 471:35-471:38  V3->Type
testdata/Builtins.lc 471:37-471:38  {a} -> a -> a->Type
testdata/Builtins.lc 471:39-471:48  Nat -> Type->Type
testdata/Builtins.lc 471:39-471:50  Type->Type
testdata/Builtins.lc 471:39-471:56  Type
testdata/Builtins.lc 471:49-471:50  V1
testdata/Builtins.lc 471:51-471:56  Type
testdata/Builtins.lc 471:61-471:62  Type
testdata/Builtins.lc 471:61-471:72  Type
testdata/Builtins.lc 471:66-471:67  Type
testdata/Builtins.lc 471:66-471:72  Type
testdata/Builtins.lc 471:71-471:72  Type
testdata/Builtins.lc 473:1-473:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 473:12-473:21  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 473:23-473:32  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 473:34-473:47  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 473:49-473:57  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 473:59-473:68  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 474:34-474:57  Type
testdata/Builtins.lc 474:34-474:67  Type
testdata/Builtins.lc 474:35-474:36  V4
testdata/Builtins.lc 474:35-474:38  V3->Type
testdata/Builtins.lc 474:37-474:38  {a} -> a -> a->Type
testdata/Builtins.lc 474:39-474:48  Nat -> Type->Type
testdata/Builtins.lc 474:39-474:50  Type->Type
testdata/Builtins.lc 474:39-474:56  Type
testdata/Builtins.lc 474:49-474:50  V1
testdata/Builtins.lc 474:51-474:56  Type
testdata/Builtins.lc 474:61-474:62  Type
testdata/Builtins.lc 474:61-474:67  Type
testdata/Builtins.lc 474:66-474:67  Type
testdata/Builtins.lc 475:1-475:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 475:10-475:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 475:34-475:75  Type
testdata/Builtins.lc 475:35-475:38  Type->Type
testdata/Builtins.lc 475:35-475:40  Type
testdata/Builtins.lc 475:39-475:40  V5
testdata/Builtins.lc 475:42-475:43  V5
testdata/Builtins.lc 475:42-475:45  V4->Type
testdata/Builtins.lc 475:42-475:59  Type
testdata/Builtins.lc 475:42-475:75  Type
testdata/Builtins.lc 475:44-475:45  {a} -> a -> a->Type
testdata/Builtins.lc 475:46-475:55  Nat -> Type->Type
testdata/Builtins.lc 475:46-475:57  Type->Type
testdata/Builtins.lc 475:46-475:59  Type
testdata/Builtins.lc 475:56-475:57  V2
testdata/Builtins.lc 475:58-475:59  Type
testdata/Builtins.lc 475:64-475:65  Type
testdata/Builtins.lc 475:64-475:75  Type
testdata/Builtins.lc 475:69-475:70  Type
testdata/Builtins.lc 475:69-475:75  Type
testdata/Builtins.lc 475:74-475:75  Type
testdata/Builtins.lc 476:1-476:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 476:11-476:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 476:34-476:75  Type
testdata/Builtins.lc 476:35-476:38  Type->Type
testdata/Builtins.lc 476:35-476:40  Type
testdata/Builtins.lc 476:39-476:40  V5
testdata/Builtins.lc 476:42-476:43  V5
testdata/Builtins.lc 476:42-476:45  V4->Type
testdata/Builtins.lc 476:42-476:59  Type
testdata/Builtins.lc 476:42-476:75  Type
testdata/Builtins.lc 476:44-476:45  {a} -> a -> a->Type
testdata/Builtins.lc 476:46-476:55  Nat -> Type->Type
testdata/Builtins.lc 476:46-476:57  Type->Type
testdata/Builtins.lc 476:46-476:59  Type
testdata/Builtins.lc 476:56-476:57  V2
testdata/Builtins.lc 476:58-476:59  Type
testdata/Builtins.lc 476:64-476:65  Type
testdata/Builtins.lc 476:64-476:75  Type
testdata/Builtins.lc 476:69-476:70  Type
testdata/Builtins.lc 476:69-476:75  Type
testdata/Builtins.lc 476:74-476:75  Type
testdata/Builtins.lc 477:1-477:10  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 477:12-477:21  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 477:34-477:89  Type
testdata/Builtins.lc 477:35-477:36  V6
testdata/Builtins.lc 477:35-477:38  V5->Type
testdata/Builtins.lc 477:35-477:56  Type
testdata/Builtins.lc 477:37-477:38  {a} -> a -> a->Type
testdata/Builtins.lc 477:39-477:48  Nat -> Type->Type
testdata/Builtins.lc 477:39-477:50  Type->Type
testdata/Builtins.lc 477:39-477:56  Type
testdata/Builtins.lc 477:49-477:50  V3
testdata/Builtins.lc 477:51-477:56  Type
testdata/Builtins.lc 477:58-477:59  V3
testdata/Builtins.lc 477:58-477:61  V2->Type
testdata/Builtins.lc 477:58-477:78  Type
testdata/Builtins.lc 477:58-477:89  Type
testdata/Builtins.lc 477:60-477:61  {a} -> a -> a->Type
testdata/Builtins.lc 477:62-477:71  Nat -> Type->Type
testdata/Builtins.lc 477:62-477:73  Type->Type
testdata/Builtins.lc 477:62-477:78  Type
testdata/Builtins.lc 477:72-477:73  Nat
testdata/Builtins.lc 477:74-477:78  Type
testdata/Builtins.lc 477:83-477:84  Type
testdata/Builtins.lc 477:83-477:89  Type
testdata/Builtins.lc 477:88-477:89  Type
testdata/Builtins.lc 478:1-478:8  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 478:10-478:18  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 478:34-478:73  Type
testdata/Builtins.lc 478:35-478:41  Type->Type
testdata/Builtins.lc 478:35-478:43  Type
testdata/Builtins.lc 478:42-478:43  V5
testdata/Builtins.lc 478:45-478:46  V5
testdata/Builtins.lc 478:45-478:48  V4->Type
testdata/Builtins.lc 478:45-478:62  Type
testdata/Builtins.lc 478:45-478:73  Type
testdata/Builtins.lc 478:47-478:48  {a} -> a -> a->Type
testdata/Builtins.lc 478:49-478:58  Nat -> Type->Type
testdata/Builtins.lc 478:49-478:60  Type->Type
testdata/Builtins.lc 478:49-478:62  Type
testdata/Builtins.lc 478:59-478:60  V2
testdata/Builtins.lc 478:61-478:62  Type
testdata/Builtins.lc 478:67-478:68  Type
testdata/Builtins.lc 478:67-478:73  Type
testdata/Builtins.lc 478:72-478:73  Type
testdata/Builtins.lc 479:1-479:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> Tuple2 a a
testdata/Builtins.lc 479:34-479:57  Type
testdata/Builtins.lc 479:34-479:72  Type
testdata/Builtins.lc 479:35-479:36  V4
testdata/Builtins.lc 479:35-479:38  V3->Type
testdata/Builtins.lc 479:37-479:38  {a} -> a -> a->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:72  Type
testdata/Builtins.lc 479:66-479:72  Type
testdata/Builtins.lc 479:67-479:68  Type
testdata/Builtins.lc 479:70-479:71  Type
testdata/Builtins.lc 480:1-480:10  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b -> b->b
testdata/Builtins.lc 480:34-480:80  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  V5
testdata/Builtins.lc 480:42-480:45  V4->Type
testdata/Builtins.lc 480:42-480:59  Type
testdata/Builtins.lc 480:42-480:80  Type
testdata/Builtins.lc 480:44-480:45  {a} -> a -> a->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:80  Type
testdata/Builtins.lc 480:69-480:70  Type
testdata/Builtins.lc 480:69-480:80  Type
testdata/Builtins.lc 480:74-480:75  Type
testdata/Builtins.lc 480:74-480:80  Type
testdata/Builtins.lc 480:79-480:80  Type
testdata/Builtins.lc 481:1-481:11  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a -> a->b
testdata/Builtins.lc 481:34-481:80  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  V5
testdata/Builtins.lc 481:42-481:45  V4->Type
testdata/Builtins.lc 481:42-481:59  Type
testdata/Builtins.lc 481:42-481:80  Type
testdata/Builtins.lc 481:44-481:45  {a} -> a -> a->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:80  Type
testdata/Builtins.lc 481:69-481:70  Type
testdata/Builtins.lc 481:69-481:80  Type
testdata/Builtins.lc 481:74-481:75  Type
testdata/Builtins.lc 481:74-481:80  Type
testdata/Builtins.lc 481:79-481:80  Type
testdata/Builtins.lc 482:1-482:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 482:34-482:57  Type
testdata/Builtins.lc 482:34-482:77  Type
testdata/Builtins.lc 482:35-482:36  V4
testdata/Builtins.lc 482:35-482:38  V3->Type
testdata/Builtins.lc 482:37-482:38  {a} -> a -> a->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  V1
testdata/Builtins.lc 482:51-482:56  Type
testdata/Builtins.lc 482:61-482:62  Type
testdata/Builtins.lc 482:61-482:77  Type
testdata/Builtins.lc 482:66-482:67  Type
testdata/Builtins.lc 482:66-482:77  Type
testdata/Builtins.lc 482:71-482:72  Type
testdata/Builtins.lc 482:71-482:77  Type
testdata/Builtins.lc 482:76-482:77  Type
testdata/Builtins.lc 483:1-483:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> Float->a
testdata/Builtins.lc 483:34-483:57  Type
testdata/Builtins.lc 483:34-483:81  Type
testdata/Builtins.lc 483:35-483:36  V4
testdata/Builtins.lc 483:35-483:38  V3->Type
testdata/Builtins.lc 483:37-483:38  {a} -> a -> a->Type
testdata/Builtins.lc 483:39-483:48  Nat -> Type->Type
testdata/Builtins.lc 483:39-483:50  Type->Type
testdata/Builtins.lc 483:39-483:56  Type
testdata/Builtins.lc 483:49-483:50  V1
testdata/Builtins.lc 483:51-483:56  Type
testdata/Builtins.lc 483:61-483:62  Type
testdata/Builtins.lc 483:61-483:81  Type
testdata/Builtins.lc 483:66-483:67  Type
testdata/Builtins.lc 483:66-483:81  Type
testdata/Builtins.lc 483:71-483:76  Type
testdata/Builtins.lc 483:71-483:81  Type
testdata/Builtins.lc 483:80-483:81  Type
testdata/Builtins.lc 484:1-484:9  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a -> a -> c->a
testdata/Builtins.lc 484:34-484:99  Type
testdata/Builtins.lc 484:35-484:36  V6
testdata/Builtins.lc 484:35-484:38  V5->Type
testdata/Builtins.lc 484:35-484:56  Type
testdata/Builtins.lc 484:37-484:38  {a} -> a -> a->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  V3
testdata/Builtins.lc 484:51-484:56  Type
testdata/Builtins.lc 484:58-484:59  V3
testdata/Builtins.lc 484:58-484:61  V2->Type
testdata/Builtins.lc 484:58-484:78  Type
testdata/Builtins.lc 484:58-484:99  Type
testdata/Builtins.lc 484:60-484:61  {a} -> a -> a->Type
testdata/Builtins.lc 484:62-484:71  Nat -> Type->Type
testdata/Builtins.lc 484:62-484:73  Type->Type
testdata/Builtins.lc 484:62-484:78  Type
testdata/Builtins.lc 484:72-484:73  Nat
testdata/Builtins.lc 484:74-484:78  Type
testdata/Builtins.lc 484:83-484:84  Type
testdata/Builtins.lc 484:83-484:99  Type
testdata/Builtins.lc 484:88-484:89  Type
testdata/Builtins.lc 484:88-484:99  Type
testdata/Builtins.lc 484:93-484:94  Type
testdata/Builtins.lc 484:93-484:99  Type
testdata/Builtins.lc 484:98-484:99  Type
testdata/Builtins.lc 485:1-485:9  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a->a
testdata/Builtins.lc 485:34-485:53  Type
testdata/Builtins.lc 485:34-485:68  Type
testdata/Builtins.lc 485:35-485:36  V4
testdata/Builtins.lc 485:35-485:38  V3->Type
testdata/Builtins.lc 485:37-485:38  {a} -> a -> a->Type
testdata/Builtins.lc 485:39-485:44  Nat -> Type->Type
testdata/Builtins.lc 485:39-485:46  Type->Type
testdata/Builtins.lc 485:39-485:52  Type
testdata/Builtins.lc 485:45-485:46  V1
testdata/Builtins.lc 485:47-485:52  Type
testdata/Builtins.lc 485:57-485:58  Type
testdata/Builtins.lc 485:57-485:68  Type
testdata/Builtins.lc 485:62-485:63  Type
testdata/Builtins.lc 485:62-485:68  Type
testdata/Builtins.lc 485:67-485:68  Type
testdata/Builtins.lc 486:1-486:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> a->a
testdata/Builtins.lc 486:34-486:57  Type
testdata/Builtins.lc 486:34-486:76  Type
testdata/Builtins.lc 486:35-486:36  V4
testdata/Builtins.lc 486:35-486:38  V3->Type
testdata/Builtins.lc 486:37-486:38  {a} -> a -> a->Type
testdata/Builtins.lc 486:39-486:48  Nat -> Type->Type
testdata/Builtins.lc 486:39-486:50  Type->Type
testdata/Builtins.lc 486:39-486:56  Type
testdata/Builtins.lc 486:49-486:50  V1
testdata/Builtins.lc 486:51-486:56  Type
testdata/Builtins.lc 486:61-486:66  Type
testdata/Builtins.lc 486:61-486:76  Type
testdata/Builtins.lc 486:70-486:71  Type
testdata/Builtins.lc 486:70-486:76  Type
testdata/Builtins.lc 486:75-486:76  Type
testdata/Builtins.lc 487:1-487:15  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a -> a->a
testdata/Builtins.lc 487:34-487:53  Type
testdata/Builtins.lc 487:34-487:73  Type
testdata/Builtins.lc 487:35-487:36  V4
testdata/Builtins.lc 487:35-487:38  V3->Type
testdata/Builtins.lc 487:37-487:38  {a} -> a -> a->Type
testdata/Builtins.lc 487:39-487:44  Nat -> Type->Type
testdata/Builtins.lc 487:39-487:46  Type->Type
testdata/Builtins.lc 487:39-487:52  Type
testdata/Builtins.lc 487:45-487:46  V1
testdata/Builtins.lc 487:47-487:52  Type
testdata/Builtins.lc 487:57-487:58  Type
testdata/Builtins.lc 487:57-487:73  Type
testdata/Builtins.lc 487:62-487:63  Type
testdata/Builtins.lc 487:62-487:73  Type
testdata/Builtins.lc 487:67-487:68  Type
testdata/Builtins.lc 487:67-487:73  Type
testdata/Builtins.lc 487:72-487:73  Type
testdata/Builtins.lc 488:1-488:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> Float -> a->a
testdata/Builtins.lc 488:34-488:57  Type
testdata/Builtins.lc 488:34-488:85  Type
testdata/Builtins.lc 488:35-488:36  V4
testdata/Builtins.lc 488:35-488:38  V3->Type
testdata/Builtins.lc 488:37-488:38  {a} -> a -> a->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:66  Type
testdata/Builtins.lc 488:61-488:85  Type
testdata/Builtins.lc 488:70-488:75  Type
testdata/Builtins.lc 488:70-488:85  Type
testdata/Builtins.lc 488:79-488:80  Type
testdata/Builtins.lc 488:79-488:85  Type
testdata/Builtins.lc 488:84-488:85  Type
testdata/Builtins.lc 491:1-491:19  {a:Nat} -> VecScalar a Float -> VecScalar a Int
testdata/Builtins.lc 491:34-491:43  Nat -> Type->Type
testdata/Builtins.lc 491:34-491:45  Type->Type
testdata/Builtins.lc 491:34-491:51  Type
testdata/Builtins.lc 491:34-491:70  Type
testdata/Builtins.lc 491:44-491:45  V1
testdata/Builtins.lc 491:46-491:51  Type
testdata/Builtins.lc 491:55-491:64  Nat -> Type->Type
testdata/Builtins.lc 491:55-491:66  Type->Type
testdata/Builtins.lc 491:55-491:70  Type
testdata/Builtins.lc 491:65-491:66  Nat
testdata/Builtins.lc 491:67-491:70  Type
testdata/Builtins.lc 492:1-492:20  {a:Nat} -> VecScalar a Float -> VecScalar a Word
testdata/Builtins.lc 492:34-492:43  Nat -> Type->Type
testdata/Builtins.lc 492:34-492:45  Type->Type
testdata/Builtins.lc 492:34-492:51  Type
testdata/Builtins.lc 492:34-492:71  Type
testdata/Builtins.lc 492:44-492:45  V1
testdata/Builtins.lc 492:46-492:51  Type
testdata/Builtins.lc 492:55-492:64  Nat -> Type->Type
testdata/Builtins.lc 492:55-492:66  Type->Type
testdata/Builtins.lc 492:55-492:71  Type
testdata/Builtins.lc 492:65-492:66  Nat
testdata/Builtins.lc 492:67-492:71  Type
testdata/Builtins.lc 493:1-493:19  {a:Nat} -> VecScalar a Int -> VecScalar a Float
testdata/Builtins.lc 493:34-493:43  Nat -> Type->Type
testdata/Builtins.lc 493:34-493:45  Type->Type
testdata/Builtins.lc 493:34-493:49  Type
testdata/Builtins.lc 493:34-493:72  Type
testdata/Builtins.lc 493:44-493:45  V1
testdata/Builtins.lc 493:46-493:49  Type
testdata/Builtins.lc 493:55-493:64  Nat -> Type->Type
testdata/Builtins.lc 493:55-493:66  Type->Type
testdata/Builtins.lc 493:55-493:72  Type
testdata/Builtins.lc 493:65-493:66  Nat
testdata/Builtins.lc 493:67-493:72  Type
testdata/Builtins.lc 494:1-494:20  {a:Nat} -> VecScalar a Word -> VecScalar a Float
testdata/Builtins.lc 494:34-494:43  Nat -> Type->Type
testdata/Builtins.lc 494:34-494:45  Type->Type
testdata/Builtins.lc 494:34-494:50  Type
testdata/Builtins.lc 494:34-494:72  Type
testdata/Builtins.lc 494:44-494:45  V1
testdata/Builtins.lc 494:46-494:50  Type
testdata/Builtins.lc 494:55-494:64  Nat -> Type->Type
testdata/Builtins.lc 494:55-494:66  Type->Type
testdata/Builtins.lc 494:55-494:72  Type
testdata/Builtins.lc 494:65-494:66  Nat
testdata/Builtins.lc 494:67-494:72  Type
testdata/Builtins.lc 496:1-496:11  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->Float
testdata/Builtins.lc 496:34-496:57  Type
testdata/Builtins.lc 496:34-496:71  Type
testdata/Builtins.lc 496:35-496:36  V4
testdata/Builtins.lc 496:35-496:38  V3->Type
testdata/Builtins.lc 496:37-496:38  {a} -> a -> a->Type
testdata/Builtins.lc 496:39-496:48  Nat -> Type->Type
testdata/Builtins.lc 496:39-496:50  Type->Type
testdata/Builtins.lc 496:39-496:56  Type
testdata/Builtins.lc 496:49-496:50  V1
testdata/Builtins.lc 496:51-496:56  Type
testdata/Builtins.lc 496:61-496:62  Type
testdata/Builtins.lc 496:61-496:71  Type
testdata/Builtins.lc 496:66-496:71  Type
testdata/Builtins.lc 497:1-497:13  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 497:15-497:22  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 497:34-497:57  Type
testdata/Builtins.lc 497:34-497:76  Type
testdata/Builtins.lc 497:35-497:36  V4
testdata/Builtins.lc 497:35-497:38  V3->Type
testdata/Builtins.lc 497:37-497:38  {a} -> a -> a->Type
testdata/Builtins.lc 497:39-497:48  Nat -> Type->Type
testdata/Builtins.lc 497:39-497:50  Type->Type
testdata/Builtins.lc 497:39-497:56  Type
testdata/Builtins.lc 497:49-497:50  V1
testdata/Builtins.lc 497:51-497:56  Type
testdata/Builtins.lc 497:61-497:62  Type
testdata/Builtins.lc 497:61-497:76  Type
testdata/Builtins.lc 497:66-497:67  Type
testdata/Builtins.lc 497:66-497:76  Type
testdata/Builtins.lc 497:71-497:76  Type
testdata/Builtins.lc 498:1-498:10  {a} -> {b : a ~ VecS Float 3} -> a -> a->a
testdata/Builtins.lc 498:34-498:57  Type
testdata/Builtins.lc 498:34-498:72  Type
testdata/Builtins.lc 498:35-498:36  V2
testdata/Builtins.lc 498:35-498:38  V1->Type
testdata/Builtins.lc 498:37-498:38  {a} -> a -> a->Type
testdata/Builtins.lc 498:39-498:48  Nat -> Type->Type
testdata/Builtins.lc 498:39-498:50  Type->Type
testdata/Builtins.lc 498:39-498:56  Type
testdata/Builtins.lc 498:49-498:50  V1
testdata/Builtins.lc 498:51-498:56  Type
testdata/Builtins.lc 498:61-498:62  Type
testdata/Builtins.lc 498:61-498:72  Type
testdata/Builtins.lc 498:66-498:67  Type
testdata/Builtins.lc 498:66-498:72  Type
testdata/Builtins.lc 498:71-498:72  Type
testdata/Builtins.lc 499:1-499:14  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 499:34-499:57  Type
testdata/Builtins.lc 499:34-499:67  Type
testdata/Builtins.lc 499:35-499:36  V4
testdata/Builtins.lc 499:35-499:38  V3->Type
testdata/Builtins.lc 499:37-499:38  {a} -> a -> a->Type
testdata/Builtins.lc 499:39-499:48  Nat -> Type->Type
testdata/Builtins.lc 499:39-499:50  Type->Type
testdata/Builtins.lc 499:39-499:56  Type
testdata/Builtins.lc 499:49-499:50  V1
testdata/Builtins.lc 499:51-499:56  Type
testdata/Builtins.lc 499:61-499:62  Type
testdata/Builtins.lc 499:61-499:67  Type
testdata/Builtins.lc 499:66-499:67  Type
testdata/Builtins.lc 500:1-500:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 500:18-500:29  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 500:34-500:57  Type
testdata/Builtins.lc 500:34-500:77  Type
testdata/Builtins.lc 500:35-500:36  V4
testdata/Builtins.lc 500:35-500:38  V3->Type
testdata/Builtins.lc 500:37-500:38  {a} -> a -> a->Type
testdata/Builtins.lc 500:39-500:48  Nat -> Type->Type
testdata/Builtins.lc 500:39-500:50  Type->Type
testdata/Builtins.lc 500:39-500:56  Type
testdata/Builtins.lc 500:49-500:50  V1
testdata/Builtins.lc 500:51-500:56  Type
testdata/Builtins.lc 500:61-500:62  Type
testdata/Builtins.lc 500:61-500:77  Type
testdata/Builtins.lc 500:66-500:67  Type
testdata/Builtins.lc 500:66-500:77  Type
testdata/Builtins.lc 500:71-500:72  Type
testdata/Builtins.lc 500:71-500:77  Type
testdata/Builtins.lc 500:76-500:77  Type
testdata/Builtins.lc 501:1-501:12  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 501:34-501:57  Type
testdata/Builtins.lc 501:34-501:72  Type
testdata/Builtins.lc 501:35-501:36  V4
testdata/Builtins.lc 501:35-501:38  V3->Type
testdata/Builtins.lc 501:37-501:38  {a} -> a -> a->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:72  Type
testdata/Builtins.lc 501:66-501:67  Type
testdata/Builtins.lc 501:66-501:72  Type
testdata/Builtins.lc 501:71-501:72  Type
testdata/Builtins.lc 503:1-503:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c
testdata/Builtins.lc 503:34-503:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 503:34-503:39  Nat -> Type->Type
testdata/Builtins.lc 503:34-503:41  Type->Type
testdata/Builtins.lc 503:34-503:43  Type
testdata/Builtins.lc 503:34-503:56  Type
testdata/Builtins.lc 503:38-503:39  V5
testdata/Builtins.lc 503:40-503:41  V3
testdata/Builtins.lc 503:42-503:43  V1
testdata/Builtins.lc 503:47-503:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 503:47-503:52  Nat -> Type->Type
testdata/Builtins.lc 503:47-503:54  Type->Type
testdata/Builtins.lc 503:47-503:56  Type
testdata/Builtins.lc 503:51-503:52  Nat
testdata/Builtins.lc 503:53-503:54  Nat
testdata/Builtins.lc 503:55-503:56  Type
testdata/Builtins.lc 504:1-504:16  {a:Nat} -> {b} -> Mat a a b -> Float
testdata/Builtins.lc 504:34-504:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 504:34-504:39  Nat -> Type->Type
testdata/Builtins.lc 504:34-504:41  Type->Type
testdata/Builtins.lc 504:34-504:43  Type
testdata/Builtins.lc 504:34-504:52  Type
testdata/Builtins.lc 504:38-504:39  V3
testdata/Builtins.lc 504:40-504:41  Nat
testdata/Builtins.lc 504:42-504:43  V1
testdata/Builtins.lc 504:47-504:52  Type
testdata/Builtins.lc 505:1-505:12  {a:Nat} -> {b} -> Mat a a b -> Mat a a b
testdata/Builtins.lc 505:34-505:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 505:34-505:39  Nat -> Type->Type
testdata/Builtins.lc 505:34-505:41  Type->Type
testdata/Builtins.lc 505:34-505:43  Type
testdata/Builtins.lc 505:34-505:56  Type
testdata/Builtins.lc 505:38-505:39  V3
testdata/Builtins.lc 505:40-505:41  Nat
testdata/Builtins.lc 505:42-505:43  V1
testdata/Builtins.lc 505:47-505:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 505:47-505:52  Nat -> Type->Type
testdata/Builtins.lc 505:47-505:54  Type->Type
testdata/Builtins.lc 505:47-505:56  Type
testdata/Builtins.lc 505:51-505:52  Nat
testdata/Builtins.lc 505:53-505:54  Nat
testdata/Builtins.lc 505:55-505:56  Type
testdata/Builtins.lc 506:1-506:17  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> VecS b c -> Mat c a b
testdata/Builtins.lc 506:34-506:37  Nat -> Type->Type
testdata/Builtins.lc 506:34-506:39  Type->Type
testdata/Builtins.lc 506:34-506:41  Type
testdata/Builtins.lc 506:34-506:69  Type
testdata/Builtins.lc 506:38-506:39  V5
testdata/Builtins.lc 506:40-506:41  V3
testdata/Builtins.lc 506:47-506:50  Nat -> Type->Type
testdata/Builtins.lc 506:47-506:52  Type->Type
testdata/Builtins.lc 506:47-506:54  Type
testdata/Builtins.lc 506:47-506:69  Type
testdata/Builtins.lc 506:51-506:52  V2
testdata/Builtins.lc 506:53-506:54  Type
testdata/Builtins.lc 506:60-506:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 506:60-506:65  Nat -> Type->Type
testdata/Builtins.lc 506:60-506:67  Type->Type
testdata/Builtins.lc 506:60-506:69  Type
testdata/Builtins.lc 506:64-506:65  Nat
testdata/Builtins.lc 506:66-506:67  Nat
testdata/Builtins.lc 506:68-506:69  Type
testdata/Builtins.lc 507:1-507:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> VecS c a
testdata/Builtins.lc 507:34-507:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 507:34-507:39  Nat -> Type->Type
testdata/Builtins.lc 507:34-507:41  Type->Type
testdata/Builtins.lc 507:34-507:43  Type
testdata/Builtins.lc 507:34-507:67  Type
testdata/Builtins.lc 507:38-507:39  V5
testdata/Builtins.lc 507:40-507:41  V3
testdata/Builtins.lc 507:42-507:43  V1
testdata/Builtins.lc 507:47-507:50  Nat -> Type->Type
testdata/Builtins.lc 507:47-507:52  Type->Type
testdata/Builtins.lc 507:47-507:54  Type
testdata/Builtins.lc 507:47-507:67  Type
testdata/Builtins.lc 507:51-507:52  Nat
testdata/Builtins.lc 507:53-507:54  Type
testdata/Builtins.lc 507:60-507:63  Nat -> Type->Type
testdata/Builtins.lc 507:60-507:65  Type->Type
testdata/Builtins.lc 507:60-507:67  Type
testdata/Builtins.lc 507:64-507:65  Nat
testdata/Builtins.lc 507:66-507:67  Type
testdata/Builtins.lc 508:1-508:14  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> VecS b c
testdata/Builtins.lc 508:34-508:37  Nat -> Type->Type
testdata/Builtins.lc 508:34-508:39  Type->Type
testdata/Builtins.lc 508:34-508:41  Type
testdata/Builtins.lc 508:34-508:67  Type
testdata/Builtins.lc 508:38-508:39  V5
testdata/Builtins.lc 508:40-508:41  V3
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:47-508:67  Type
testdata/Builtins.lc 508:51-508:52  Nat
testdata/Builtins.lc 508:53-508:54  V2
testdata/Builtins.lc 508:55-508:56  Type
testdata/Builtins.lc 508:60-508:63  Nat -> Type->Type
testdata/Builtins.lc 508:60-508:65  Type->Type
testdata/Builtins.lc 508:60-508:67  Type
testdata/Builtins.lc 508:64-508:65  Nat
testdata/Builtins.lc 508:66-508:67  Type
testdata/Builtins.lc 509:1-509:14  {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
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:69  Type
testdata/Builtins.lc 509:38-509:39  V7
testdata/Builtins.lc 509:40-509:41  V5
testdata/Builtins.lc 509:42-509:43  V3
testdata/Builtins.lc 509:47-509:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 509:47-509:52  Nat -> Type->Type
testdata/Builtins.lc 509:47-509:54  Type->Type
testdata/Builtins.lc 509:47-509:56  Type
testdata/Builtins.lc 509:47-509:69  Type
testdata/Builtins.lc 509:51-509:52  Nat
testdata/Builtins.lc 509:53-509:54  V2
testdata/Builtins.lc 509:55-509:56  Type
testdata/Builtins.lc 509:60-509:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 509:60-509:65  Nat -> Type->Type
testdata/Builtins.lc 509:60-509:67  Type->Type
testdata/Builtins.lc 509:60-509:69  Type
testdata/Builtins.lc 509:64-509:65  Nat
testdata/Builtins.lc 509:66-509:67  Nat
testdata/Builtins.lc 509:68-509:69  Type
testdata/Builtins.lc 511:1-511:13  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 511:15-511:32  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 511:34-511:49  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 511:51-511:71  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 511:73-511:83  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 511:85-511:98  {a} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : a ~ VecScalar b c} -> {g : d ~ VecScalar b Bool} -> a -> a->d
testdata/Builtins.lc 512:51-512:114  Type
testdata/Builtins.lc 512:52-512:55  Type->Type
testdata/Builtins.lc 512:52-512:57  Type
testdata/Builtins.lc 512:56-512:57  V3
testdata/Builtins.lc 512:59-512:60  V8
testdata/Builtins.lc 512:59-512:62  V7->Type
testdata/Builtins.lc 512:59-512:76  Type
testdata/Builtins.lc 512:59-512:114  Type
testdata/Builtins.lc 512:61-512:62  {a} -> a -> a->Type
testdata/Builtins.lc 512:63-512:72  Nat -> Type->Type
testdata/Builtins.lc 512:63-512:74  Type->Type
testdata/Builtins.lc 512:63-512:76  Type
testdata/Builtins.lc 512:73-512:74  V5
testdata/Builtins.lc 512:75-512:76  Type
testdata/Builtins.lc 512:78-512:79  V4
testdata/Builtins.lc 512:78-512:81  V3->Type
testdata/Builtins.lc 512:78-512:98  Type
testdata/Builtins.lc 512:78-512:114  Type
testdata/Builtins.lc 512:80-512:81  {a} -> a -> a->Type
testdata/Builtins.lc 512:82-512:91  Nat -> Type->Type
testdata/Builtins.lc 512:82-512:93  Type->Type
testdata/Builtins.lc 512:82-512:98  Type
testdata/Builtins.lc 512:92-512:93  Nat
testdata/Builtins.lc 512:94-512:98  Type
testdata/Builtins.lc 512:103-512:104  Type
testdata/Builtins.lc 512:103-512:114  Type
testdata/Builtins.lc 512:108-512:109  Type
testdata/Builtins.lc 512:108-512:114  Type
testdata/Builtins.lc 512:113-512:114  Type
testdata/Builtins.lc 513:1-513:10  {a} -> {b} -> {c : b ~ MatVecScalarElem a} -> a -> a->Bool
testdata/Builtins.lc 513:12-513:24  {a} -> {b} -> {c : b ~ MatVecScalarElem a} -> a -> a->Bool
testdata/Builtins.lc 513:47-513:71  Type
testdata/Builtins.lc 513:47-513:89  Type
testdata/Builtins.lc 513:48-513:49  V2
testdata/Builtins.lc 513:48-513:51  V1->Type
testdata/Builtins.lc 513:50-513:51  {a} -> a -> a->Type
testdata/Builtins.lc 513:52-513:68  Type->Type
testdata/Builtins.lc 513:52-513:70  Type
testdata/Builtins.lc 513:69-513:70  V2
testdata/Builtins.lc 513:75-513:76  Type
testdata/Builtins.lc 513:75-513:89  Type
testdata/Builtins.lc 513:80-513:81  Type
testdata/Builtins.lc 513:80-513:89  Type
testdata/Builtins.lc 513:85-513:89  Type
testdata/Builtins.lc 515:1-515:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 515:11-515:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 515:21-515:31  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 516:34-516:57  Type
testdata/Builtins.lc 516:34-516:67  Type
testdata/Builtins.lc 516:35-516:36  V4
testdata/Builtins.lc 516:35-516:38  V3->Type
testdata/Builtins.lc 516:37-516:38  {a} -> a -> a->Type
testdata/Builtins.lc 516:39-516:48  Nat -> Type->Type
testdata/Builtins.lc 516:39-516:50  Type->Type
testdata/Builtins.lc 516:39-516:56  Type
testdata/Builtins.lc 516:49-516:50  V1
testdata/Builtins.lc 516:51-516:56  Type
testdata/Builtins.lc 516:61-516:62  Type
testdata/Builtins.lc 516:61-516:67  Type
testdata/Builtins.lc 516:66-516:67  Type
testdata/Builtins.lc 518:1-518:11  {a:Nat} -> VecScalar a Float -> Float
testdata/Builtins.lc 518:34-518:43  Nat -> Type->Type
testdata/Builtins.lc 518:34-518:45  Type->Type
testdata/Builtins.lc 518:34-518:51  Type
testdata/Builtins.lc 518:34-518:60  Type
testdata/Builtins.lc 518:44-518:45  V1
testdata/Builtins.lc 518:46-518:51  Type
testdata/Builtins.lc 518:55-518:60  Type
testdata/Builtins.lc 519:1-519:11  {a:Nat} -> VecScalar a Float -> VecS Float 2
testdata/Builtins.lc 519:34-519:43  Nat -> Type->Type
testdata/Builtins.lc 519:34-519:45  Type->Type
testdata/Builtins.lc 519:34-519:51  Type
testdata/Builtins.lc 519:34-519:66  Type
testdata/Builtins.lc 519:44-519:45  V1
testdata/Builtins.lc 519:46-519:51  Type
testdata/Builtins.lc 519:55-519:58  Nat -> Type->Type
testdata/Builtins.lc 519:55-519:60  Type->Type
testdata/Builtins.lc 519:55-519:66  Type
testdata/Builtins.lc 519:59-519:60  V1
testdata/Builtins.lc 519:61-519:66  Type
testdata/Builtins.lc 520:1-520:11  {a:Nat} -> VecScalar a Float -> VecS Float 3
testdata/Builtins.lc 520:34-520:43  Nat -> Type->Type
testdata/Builtins.lc 520:34-520:45  Type->Type
testdata/Builtins.lc 520:34-520:51  Type
testdata/Builtins.lc 520:34-520:66  Type
testdata/Builtins.lc 520:44-520:45  V1
testdata/Builtins.lc 520:46-520:51  Type
testdata/Builtins.lc 520:55-520:58  Nat -> Type->Type
testdata/Builtins.lc 520:55-520:60  Type->Type
testdata/Builtins.lc 520:55-520:66  Type
testdata/Builtins.lc 520:59-520:60  V1
testdata/Builtins.lc 520:61-520:66  Type
testdata/Builtins.lc 521:1-521:11  {a:Nat} -> VecScalar a Float -> VecS Float 4
testdata/Builtins.lc 521:34-521:43  Nat -> Type->Type
testdata/Builtins.lc 521:34-521:45  Type->Type
testdata/Builtins.lc 521:34-521:51  Type
testdata/Builtins.lc 521:34-521:66  Type
testdata/Builtins.lc 521:44-521:45  V1
testdata/Builtins.lc 521:46-521:51  Type
testdata/Builtins.lc 521:55-521:58  Nat -> Type->Type
testdata/Builtins.lc 521:55-521:60  Type->Type
testdata/Builtins.lc 521:55-521:66  Type
testdata/Builtins.lc 521:59-521:60  V1
testdata/Builtins.lc 521:61-521:66  Type
testdata/Builtins.lc 537:6-537:13  Type
testdata/Builtins.lc 537:6-541:12  Type
testdata/Builtins.lc 538:3-538:16  String->Texture | Texture | Type
testdata/Builtins.lc 538:20-538:26  Type
testdata/Builtins.lc 539:20-539:27  Type
testdata/Builtins.lc 541:3-541:12  Texture | Type | VecS Int 2 -> Image 1 ('Color (VecS Float 4)) -> Texture
testdata/Builtins.lc 541:20-541:23  Nat -> Type->Type
testdata/Builtins.lc 541:20-541:25  Type->Type
testdata/Builtins.lc 541:20-541:29  Type
testdata/Builtins.lc 541:24-541:25  V1
testdata/Builtins.lc 541:26-541:29  Type
testdata/Builtins.lc 542:20-542:25  Nat -> ImageSemantics->Type
testdata/Builtins.lc 542:20-542:27  ImageSemantics->Type
testdata/Builtins.lc 542:20-542:49  Type
testdata/Builtins.lc 542:20-543:27  Type
testdata/Builtins.lc 542:26-542:27  V1
testdata/Builtins.lc 542:28-542:49  ImageSemantics
testdata/Builtins.lc 542:29-542:34  Type->ImageSemantics
testdata/Builtins.lc 542:35-542:48  Type
testdata/Builtins.lc 542:36-542:39  Nat -> Type->Type
testdata/Builtins.lc 542:36-542:41  Type->Type
testdata/Builtins.lc 542:40-542:41  V1
testdata/Builtins.lc 542:42-542:47  Type
testdata/Builtins.lc 543:20-543:27  Type
testdata/Builtins.lc 545:6-545:12  Type
testdata/Builtins.lc 545:6-547:17  Type
testdata/Builtins.lc 546:5-546:16  Filter
testdata/Builtins.lc 547:5-547:17  Filter
testdata/Builtins.lc 549:6-549:14  Type
testdata/Builtins.lc 549:6-552:16  Type
testdata/Builtins.lc 550:5-550:11  EdgeMode
testdata/Builtins.lc 551:5-551:19  EdgeMode
testdata/Builtins.lc 552:5-552:16  EdgeMode
testdata/Builtins.lc 554:6-554:13  Type
testdata/Builtins.lc 554:6-554:23  Type
testdata/Builtins.lc 554:6-554:47  Type
testdata/Builtins.lc 554:16-554:23  Filter -> EdgeMode -> Texture->Sampler | Sampler | Type
testdata/Builtins.lc 554:24-554:30  Type
testdata/Builtins.lc 554:31-554:39  Type
testdata/Builtins.lc 554:40-554:47  Type
testdata/Builtins.lc 557:1-557:10  Sampler -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 557:14-557:21  Type
testdata/Builtins.lc 557:25-557:28  Nat -> Type->Type
testdata/Builtins.lc 557:25-557:30  Type->Type
testdata/Builtins.lc 557:25-557:36  Type
testdata/Builtins.lc 557:25-557:51  Type
testdata/Builtins.lc 557:29-557:30  V1
testdata/Builtins.lc 557:31-557:36  Type
testdata/Builtins.lc 557:40-557:43  Nat -> Type->Type
testdata/Builtins.lc 557:40-557:45  Type->Type
testdata/Builtins.lc 557:40-557:51  Type
testdata/Builtins.lc 557:44-557:45  V1
testdata/Builtins.lc 557:46-557:51  Type
testdata/Builtins.lc 560:1-560:15  {a} -> {b} -> a -> b -> Tuple2 a b
testdata/Builtins.lc 560:24-560:32  Tuple2 V3 V1
testdata/Builtins.lc 560:25-560:28  V5
testdata/Builtins.lc 560:30-560:31  V2
testdata/Builtins.lc 561:1-561:8  {a : List ImageSemantics} -> {b:Nat} -> FrameBuffer b a -> Tuple2 (FragOps a) (List (Vector b (Maybe (SimpleFragment ('remSemantics' a))))) -> FrameBuffer b a
testdata/Builtins.lc 561:13-561:21  V3
testdata/Builtins.lc 561:13-561:46  FrameBuffer V0 V1
testdata/Builtins.lc 561:25-561:35  {a : List ImageSemantics} -> {b:Nat} -> FragOps a -> List (Vector b (Maybe (SimpleFragment ('remSemantics' a)))) -> FrameBuffer b a -> FrameBuffer b a
testdata/Builtins.lc 561:25-561:39  List (Vector V0 (Maybe (SimpleFragment ('remSemantics' V1)))) -> FrameBuffer V1 V2 -> FrameBuffer V2 V3
testdata/Builtins.lc 561:25-561:43  FrameBuffer V0 V1 -> FrameBuffer V1 V2
testdata/Builtins.lc 561:25-561:46  FrameBuffer V0 V1 | V2 -> V2->V2 | V2->V2
testdata/Builtins.lc 561:36-561:39  V6
testdata/Builtins.lc 561:40-561:43  V5
testdata/Builtins.lc 561:44-561:46  V7
testdata/Builtins.lc 562:1-562:12  {a:Nat} -> {b : List ImageSemantics} -> FrameBuffer a b -> Output
testdata/Builtins.lc 562:15-562:24  {a:Nat} -> {b : List ImageSemantics} -> FrameBuffer a b -> Output
testdata/Builtins.lc 563:1-563:11  {a : List ImageSemantics} -> {b} -> {c:Nat} -> {d:Unit} -> {e : SameLayerCounts b} -> {f : FrameBuffer c a ~ TFFrameBuffer b} -> b -> FrameBuffer c a
testdata/Builtins.lc 563:14-563:25  {a : List ImageSemantics} -> {b} -> {c:Nat} -> {d:Unit} -> {e : SameLayerCounts b} -> {f : FrameBuffer c a ~ TFFrameBuffer b} -> b -> FrameBuffer c a
testdata/Builtins.lc 564:1-564:16  Float -> Image 1 ('Depth Float)
testdata/Builtins.lc 564:19-564:29  {a:Nat} -> Float -> Image a ('Depth Float)
testdata/Builtins.lc 564:19-564:32  Float -> Image 1 ('Depth Float)
testdata/Builtins.lc 564:31-564:32  V1
testdata/Builtins.lc 565:1-565:16  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 ('Color c)
testdata/Builtins.lc 565:19-565:29  {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a ('Color d)
testdata/Builtins.lc 565:19-565:32  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 ('Color c)
testdata/Builtins.lc 565:31-565:32  V1