main is not found
tooltips:
testdata/Builtins.lc 9:1-9:3  {a} -> a->a
testdata/Builtins.lc 9:8-9:9  V1
testdata/Builtins.lc 13:7-13:21  Type->Type
testdata/Builtins.lc 15:7-15:18  Type->Type
testdata/Builtins.lc 17:7-17:23  Type->Type
testdata/Builtins.lc 20:6-20:10  Type | Type -> Nat->Type
testdata/Builtins.lc 20:6-23:37  Type
testdata/Builtins.lc 20:17-20:21  Type
testdata/Builtins.lc 20:26-20:29  Type
testdata/Builtins.lc 20:26-20:37  Type
testdata/Builtins.lc 20:33-20:37  Type
testdata/Builtins.lc 21:3-21:5  VecS V3 2 | {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 21:3-21:27  Type
testdata/Builtins.lc 21:9-21:10  Type
testdata/Builtins.lc 21:9-21:27  Type
testdata/Builtins.lc 21:14-21:15  Type
testdata/Builtins.lc 21:14-21:27  Type
testdata/Builtins.lc 21:19-21:23  Type -> Nat->Type
testdata/Builtins.lc 21:19-21:25  Nat->Type
testdata/Builtins.lc 21:19-21:27  Type
testdata/Builtins.lc 21:24-21:25  Type
testdata/Builtins.lc 21:26-21:27  V1
testdata/Builtins.lc 22:3-22:5  VecS V5 3 | {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 22:3-22:32  Type
testdata/Builtins.lc 22:9-22:10  Type
testdata/Builtins.lc 22:9-22:32  Type
testdata/Builtins.lc 22:14-22:15  Type
testdata/Builtins.lc 22:14-22:32  Type
testdata/Builtins.lc 22:19-22:20  Type
testdata/Builtins.lc 22:19-22:32  Type
testdata/Builtins.lc 22:24-22:28  Type -> Nat->Type
testdata/Builtins.lc 22:24-22:30  Nat->Type
testdata/Builtins.lc 22:24-22:32  Type
testdata/Builtins.lc 22:29-22:30  Type
testdata/Builtins.lc 22:31-22:32  V1
testdata/Builtins.lc 23:3-23:5  VecS V7 4 | {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 23:3-23:37  Type
testdata/Builtins.lc 23:9-23:10  Type
testdata/Builtins.lc 23:9-23:37  Type
testdata/Builtins.lc 23:14-23:15  Type
testdata/Builtins.lc 23:14-23:37  Type
testdata/Builtins.lc 23:19-23:20  Type
testdata/Builtins.lc 23:19-23:37  Type
testdata/Builtins.lc 23:24-23:25  Type
testdata/Builtins.lc 23:24-23:37  Type
testdata/Builtins.lc 23:29-23:33  Type -> Nat->Type
testdata/Builtins.lc 23:29-23:35  Nat->Type
testdata/Builtins.lc 23:29-23:37  Type
testdata/Builtins.lc 23:34-23:35  Type
testdata/Builtins.lc 23:36-23:37  V1
testdata/Builtins.lc 25:23-25:26  Type
testdata/Builtins.lc 25:37-25:40  Nat -> Type->Type
testdata/Builtins.lc 25:47-25:51  Type -> Nat->Type
testdata/Builtins.lc 25:47-25:53  Nat->Type
testdata/Builtins.lc 25:47-25:55  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 25:52-25:53  Type
testdata/Builtins.lc 25:54-25:55  Nat
testdata/Builtins.lc 27:29-27:32  Type
testdata/Builtins.lc 28:5-28:14  Nat -> Type->Type
testdata/Builtins.lc 28:21-28:22  Type
testdata/Builtins.lc 28:21-29:60  Nat -> Type->Type | Nat->Type | Type->Type
testdata/Builtins.lc 29:37-29:40  Nat -> Type->Type
testdata/Builtins.lc 29:37-29:58  Type->Type
testdata/Builtins.lc 29:37-29:60  Nat->Type | Type
testdata/Builtins.lc 29:41-29:58  Nat
testdata/Builtins.lc 29:42-29:47  Nat->Nat
testdata/Builtins.lc 29:48-29:57  Nat
testdata/Builtins.lc 29:49-29:54  Nat->Nat
testdata/Builtins.lc 29:55-29:56  Nat
testdata/Builtins.lc 29:59-29:60  Type
testdata/Builtins.lc 32:25-32:28  Type
testdata/Builtins.lc 33:5-33:10  Nat -> Type->Type
testdata/Builtins.lc 33:17-33:20  Nat -> Type->Type
testdata/Builtins.lc 33:17-33:22  Type->Type
testdata/Builtins.lc 33:17-33:24  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 33:21-33:22  Nat
testdata/Builtins.lc 33:23-33:24  Type
testdata/Builtins.lc 36:6-36:9  Nat -> Nat -> Type->Type | Type
testdata/Builtins.lc 36:6-45:84  Type
testdata/Builtins.lc 36:13-36:16  Type
testdata/Builtins.lc 36:20-36:23  Type
testdata/Builtins.lc 36:20-36:39  Type
testdata/Builtins.lc 36:27-36:31  Type
testdata/Builtins.lc 36:27-36:39  Type
testdata/Builtins.lc 36:35-36:39  Type
testdata/Builtins.lc 37:3-37:7  Mat 2 2 Float | VecS Float 2 -> VecS Float 2 -> Mat 2 2 Float
testdata/Builtins.lc 37:3-37:54  Type
testdata/Builtins.lc 37:11-37:14  Nat -> Type->Type
testdata/Builtins.lc 37:11-37:16  Type->Type
testdata/Builtins.lc 37:11-37:22  Type
testdata/Builtins.lc 37:15-37:16  V1
testdata/Builtins.lc 37:17-37:22  Type
testdata/Builtins.lc 37:26-37:29  Nat -> Type->Type
testdata/Builtins.lc 37:26-37:31  Type->Type
testdata/Builtins.lc 37:26-37:37  Type
testdata/Builtins.lc 37:26-37:54  Type
testdata/Builtins.lc 37:30-37:31  V1
testdata/Builtins.lc 37:32-37:37  Type
testdata/Builtins.lc 37:41-37:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 37:41-37:46  Nat -> Type->Type
testdata/Builtins.lc 37:41-37:48  Type->Type
testdata/Builtins.lc 37:41-37:54  Type
testdata/Builtins.lc 37:45-37:46  V1
testdata/Builtins.lc 37:45-37:48  a:Type -> Mat 2 2 a -> Type
testdata/Builtins.lc 37:45-37:54  Mat 2 2 Float -> Type
testdata/Builtins.lc 37:47-37:48  V1
testdata/Builtins.lc 37:49-37:54  Type
testdata/Builtins.lc 38:3-38:7  Mat 3 2 Float | VecS Float 3 -> VecS Float 3 -> Mat 3 2 Float
testdata/Builtins.lc 38:3-38:54  Type
testdata/Builtins.lc 38:11-38:14  Nat -> Type->Type
testdata/Builtins.lc 38:11-38:16  Type->Type
testdata/Builtins.lc 38:11-38:22  Type
testdata/Builtins.lc 38:15-38:16  V1
testdata/Builtins.lc 38:17-38:22  Type
testdata/Builtins.lc 38:26-38:29  Nat -> Type->Type
testdata/Builtins.lc 38:26-38:31  Type->Type
testdata/Builtins.lc 38:26-38:37  Type
testdata/Builtins.lc 38:26-38:54  Type
testdata/Builtins.lc 38:30-38:31  V1
testdata/Builtins.lc 38:32-38:37  Type
testdata/Builtins.lc 38:41-38:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 38:41-38:46  Nat -> Type->Type
testdata/Builtins.lc 38:41-38:48  Type->Type
testdata/Builtins.lc 38:41-38:54  Type
testdata/Builtins.lc 38:45-38:46  V1
testdata/Builtins.lc 38:45-38:48  a:Type -> Mat 3 2 a -> Type
testdata/Builtins.lc 38:45-38:54  Mat 3 2 Float -> Type
testdata/Builtins.lc 38:47-38:48  V1
testdata/Builtins.lc 38:49-38:54  Type
testdata/Builtins.lc 39:3-39:7  Mat 4 2 Float | VecS Float 4 -> VecS Float 4 -> Mat 4 2 Float
testdata/Builtins.lc 39:3-39:54  Type
testdata/Builtins.lc 39:11-39:14  Nat -> Type->Type
testdata/Builtins.lc 39:11-39:16  Type->Type
testdata/Builtins.lc 39:11-39:22  Type
testdata/Builtins.lc 39:15-39:16  V1
testdata/Builtins.lc 39:17-39:22  Type
testdata/Builtins.lc 39:26-39:29  Nat -> Type->Type
testdata/Builtins.lc 39:26-39:31  Type->Type
testdata/Builtins.lc 39:26-39:37  Type
testdata/Builtins.lc 39:26-39:54  Type
testdata/Builtins.lc 39:30-39:31  V1
testdata/Builtins.lc 39:32-39:37  Type
testdata/Builtins.lc 39:41-39:44  Nat -> Nat -> Type->Type
testdata/Builtins.lc 39:41-39:46  Nat -> Type->Type
testdata/Builtins.lc 39:41-39:48  Type->Type
testdata/Builtins.lc 39:41-39:54  Type
testdata/Builtins.lc 39:45-39:46  V1
testdata/Builtins.lc 39:45-39:48  a:Type -> Mat 4 2 a -> Type
testdata/Builtins.lc 39:45-39:54  Mat 4 2 Float -> Type
testdata/Builtins.lc 39:47-39:48  V1
testdata/Builtins.lc 39:49-39:54  Type
testdata/Builtins.lc 40:3-40:7  Mat 2 3 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 3 Float
testdata/Builtins.lc 40:3-40:69  Type
testdata/Builtins.lc 40:11-40:14  Nat -> Type->Type
testdata/Builtins.lc 40:11-40:16  Type->Type
testdata/Builtins.lc 40:11-40:22  Type
testdata/Builtins.lc 40:15-40:16  V1
testdata/Builtins.lc 40:17-40:22  Type
testdata/Builtins.lc 40:26-40:29  Nat -> Type->Type
testdata/Builtins.lc 40:26-40:31  Type->Type
testdata/Builtins.lc 40:26-40:37  Type
testdata/Builtins.lc 40:26-40:69  Type
testdata/Builtins.lc 40:30-40:31  V1
testdata/Builtins.lc 40:32-40:37  Type
testdata/Builtins.lc 40:41-40:44  Nat -> Type->Type
testdata/Builtins.lc 40:41-40:46  Type->Type
testdata/Builtins.lc 40:41-40:52  Type
testdata/Builtins.lc 40:41-40:69  Type
testdata/Builtins.lc 40:45-40:46  V1
testdata/Builtins.lc 40:47-40:52  Type
testdata/Builtins.lc 40:56-40:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 40:56-40:61  Nat -> Type->Type
testdata/Builtins.lc 40:56-40:63  Type->Type
testdata/Builtins.lc 40:56-40:69  Type
testdata/Builtins.lc 40:60-40:61  V1
testdata/Builtins.lc 40:60-40:63  a:Type -> Mat 2 3 a -> Type
testdata/Builtins.lc 40:60-40:69  Mat 2 3 Float -> Type
testdata/Builtins.lc 40:62-40:63  V1
testdata/Builtins.lc 40:64-40:69  Type
testdata/Builtins.lc 41:3-41:7  Mat 3 3 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 3 Float
testdata/Builtins.lc 41:3-41:69  Type
testdata/Builtins.lc 41:11-41:14  Nat -> Type->Type
testdata/Builtins.lc 41:11-41:16  Type->Type
testdata/Builtins.lc 41:11-41:22  Type
testdata/Builtins.lc 41:15-41:16  V1
testdata/Builtins.lc 41:17-41:22  Type
testdata/Builtins.lc 41:26-41:29  Nat -> Type->Type
testdata/Builtins.lc 41:26-41:31  Type->Type
testdata/Builtins.lc 41:26-41:37  Type
testdata/Builtins.lc 41:26-41:69  Type
testdata/Builtins.lc 41:30-41:31  V1
testdata/Builtins.lc 41:32-41:37  Type
testdata/Builtins.lc 41:41-41:44  Nat -> Type->Type
testdata/Builtins.lc 41:41-41:46  Type->Type
testdata/Builtins.lc 41:41-41:52  Type
testdata/Builtins.lc 41:41-41:69  Type
testdata/Builtins.lc 41:45-41:46  V1
testdata/Builtins.lc 41:47-41:52  Type
testdata/Builtins.lc 41:56-41:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 41:56-41:61  Nat -> Type->Type
testdata/Builtins.lc 41:56-41:63  Type->Type
testdata/Builtins.lc 41:56-41:69  Type
testdata/Builtins.lc 41:60-41:61  V1
testdata/Builtins.lc 41:60-41:63  a:Type -> Mat 3 3 a -> Type
testdata/Builtins.lc 41:60-41:69  Mat 3 3 Float -> Type
testdata/Builtins.lc 41:62-41:63  V1
testdata/Builtins.lc 41:64-41:69  Type
testdata/Builtins.lc 42:3-42:7  Mat 4 3 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 3 Float
testdata/Builtins.lc 42:3-42:69  Type
testdata/Builtins.lc 42:11-42:14  Nat -> Type->Type
testdata/Builtins.lc 42:11-42:16  Type->Type
testdata/Builtins.lc 42:11-42:22  Type
testdata/Builtins.lc 42:15-42:16  V1
testdata/Builtins.lc 42:17-42:22  Type
testdata/Builtins.lc 42:26-42:29  Nat -> Type->Type
testdata/Builtins.lc 42:26-42:31  Type->Type
testdata/Builtins.lc 42:26-42:37  Type
testdata/Builtins.lc 42:26-42:69  Type
testdata/Builtins.lc 42:30-42:31  V1
testdata/Builtins.lc 42:32-42:37  Type
testdata/Builtins.lc 42:41-42:44  Nat -> Type->Type
testdata/Builtins.lc 42:41-42:46  Type->Type
testdata/Builtins.lc 42:41-42:52  Type
testdata/Builtins.lc 42:41-42:69  Type
testdata/Builtins.lc 42:45-42:46  V1
testdata/Builtins.lc 42:47-42:52  Type
testdata/Builtins.lc 42:56-42:59  Nat -> Nat -> Type->Type
testdata/Builtins.lc 42:56-42:61  Nat -> Type->Type
testdata/Builtins.lc 42:56-42:63  Type->Type
testdata/Builtins.lc 42:56-42:69  Type
testdata/Builtins.lc 42:60-42:61  V1
testdata/Builtins.lc 42:60-42:63  a:Type -> Mat 4 3 a -> Type
testdata/Builtins.lc 42:60-42:69  Mat 4 3 Float -> Type
testdata/Builtins.lc 42:62-42:63  V1
testdata/Builtins.lc 42:64-42:69  Type
testdata/Builtins.lc 43:3-43:7  Mat 2 4 Float | VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> VecS Float 2 -> Mat 2 4 Float
testdata/Builtins.lc 43:3-43:84  Type
testdata/Builtins.lc 43:11-43:14  Nat -> Type->Type
testdata/Builtins.lc 43:11-43:16  Type->Type
testdata/Builtins.lc 43:11-43:22  Type
testdata/Builtins.lc 43:15-43:16  V1
testdata/Builtins.lc 43:17-43:22  Type
testdata/Builtins.lc 43:26-43:29  Nat -> Type->Type
testdata/Builtins.lc 43:26-43:31  Type->Type
testdata/Builtins.lc 43:26-43:37  Type
testdata/Builtins.lc 43:26-43:84  Type
testdata/Builtins.lc 43:30-43:31  V1
testdata/Builtins.lc 43:32-43:37  Type
testdata/Builtins.lc 43:41-43:44  Nat -> Type->Type
testdata/Builtins.lc 43:41-43:46  Type->Type
testdata/Builtins.lc 43:41-43:52  Type
testdata/Builtins.lc 43:41-43:84  Type
testdata/Builtins.lc 43:45-43:46  V1
testdata/Builtins.lc 43:47-43:52  Type
testdata/Builtins.lc 43:56-43:59  Nat -> Type->Type
testdata/Builtins.lc 43:56-43:61  Type->Type
testdata/Builtins.lc 43:56-43:67  Type
testdata/Builtins.lc 43:56-43:84  Type
testdata/Builtins.lc 43:60-43:61  V1
testdata/Builtins.lc 43:62-43:67  Type
testdata/Builtins.lc 43:71-43:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 43:71-43:76  Nat -> Type->Type
testdata/Builtins.lc 43:71-43:78  Type->Type
testdata/Builtins.lc 43:71-43:84  Type
testdata/Builtins.lc 43:75-43:76  V1
testdata/Builtins.lc 43:75-43:78  a:Type -> Mat 2 4 a -> Type
testdata/Builtins.lc 43:75-43:84  Mat 2 4 Float -> Type
testdata/Builtins.lc 43:77-43:78  V1
testdata/Builtins.lc 43:79-43:84  Type
testdata/Builtins.lc 44:3-44:7  Mat 3 4 Float | VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> VecS Float 3 -> Mat 3 4 Float
testdata/Builtins.lc 44:3-44:84  Type
testdata/Builtins.lc 44:11-44:14  Nat -> Type->Type
testdata/Builtins.lc 44:11-44:16  Type->Type
testdata/Builtins.lc 44:11-44:22  Type
testdata/Builtins.lc 44:15-44:16  V1
testdata/Builtins.lc 44:17-44:22  Type
testdata/Builtins.lc 44:26-44:29  Nat -> Type->Type
testdata/Builtins.lc 44:26-44:31  Type->Type
testdata/Builtins.lc 44:26-44:37  Type
testdata/Builtins.lc 44:26-44:84  Type
testdata/Builtins.lc 44:30-44:31  V1
testdata/Builtins.lc 44:32-44:37  Type
testdata/Builtins.lc 44:41-44:44  Nat -> Type->Type
testdata/Builtins.lc 44:41-44:46  Type->Type
testdata/Builtins.lc 44:41-44:52  Type
testdata/Builtins.lc 44:41-44:84  Type
testdata/Builtins.lc 44:45-44:46  V1
testdata/Builtins.lc 44:47-44:52  Type
testdata/Builtins.lc 44:56-44:59  Nat -> Type->Type
testdata/Builtins.lc 44:56-44:61  Type->Type
testdata/Builtins.lc 44:56-44:67  Type
testdata/Builtins.lc 44:56-44:84  Type
testdata/Builtins.lc 44:60-44:61  V1
testdata/Builtins.lc 44:62-44:67  Type
testdata/Builtins.lc 44:71-44:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 44:71-44:76  Nat -> Type->Type
testdata/Builtins.lc 44:71-44:78  Type->Type
testdata/Builtins.lc 44:71-44:84  Type
testdata/Builtins.lc 44:75-44:76  V1
testdata/Builtins.lc 44:75-44:78  a:Type -> Mat 3 4 a -> Type
testdata/Builtins.lc 44:75-44:84  Mat 3 4 Float -> Type
testdata/Builtins.lc 44:77-44:78  V1
testdata/Builtins.lc 44:79-44:84  Type
testdata/Builtins.lc 45:3-45:7  Mat 4 4 Float | VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> VecS Float 4 -> Mat 4 4 Float
testdata/Builtins.lc 45:3-45:84  Type
testdata/Builtins.lc 45:11-45:14  Nat -> Type->Type
testdata/Builtins.lc 45:11-45:16  Type->Type
testdata/Builtins.lc 45:11-45:22  Type
testdata/Builtins.lc 45:15-45:16  V1
testdata/Builtins.lc 45:17-45:22  Type
testdata/Builtins.lc 45:26-45:29  Nat -> Type->Type
testdata/Builtins.lc 45:26-45:31  Type->Type
testdata/Builtins.lc 45:26-45:37  Type
testdata/Builtins.lc 45:26-45:84  Type
testdata/Builtins.lc 45:30-45:31  V1
testdata/Builtins.lc 45:32-45:37  Type
testdata/Builtins.lc 45:41-45:44  Nat -> Type->Type
testdata/Builtins.lc 45:41-45:46  Type->Type
testdata/Builtins.lc 45:41-45:52  Type
testdata/Builtins.lc 45:41-45:84  Type
testdata/Builtins.lc 45:45-45:46  V1
testdata/Builtins.lc 45:47-45:52  Type
testdata/Builtins.lc 45:56-45:59  Nat -> Type->Type
testdata/Builtins.lc 45:56-45:61  Type->Type
testdata/Builtins.lc 45:56-45:67  Type
testdata/Builtins.lc 45:56-45:84  Type
testdata/Builtins.lc 45:60-45:61  V1
testdata/Builtins.lc 45:62-45:67  Type
testdata/Builtins.lc 45:71-45:74  Nat -> Nat -> Type->Type
testdata/Builtins.lc 45:71-45:76  Nat -> Type->Type
testdata/Builtins.lc 45:71-45:78  Type->Type
testdata/Builtins.lc 45:71-45:84  Type
testdata/Builtins.lc 45:75-45:76  V1
testdata/Builtins.lc 45:75-45:78  a:Type -> Mat 4 4 a -> Type
testdata/Builtins.lc 45:75-45:84  Mat 4 4 Float -> Type
testdata/Builtins.lc 45:77-45:78  V1
testdata/Builtins.lc 45:79-45:84  Type
testdata/Builtins.lc 48:5-48:21  Type->Type
testdata/Builtins.lc 48:22-48:27  Type
testdata/Builtins.lc 48:22-48:35  Type->Type
testdata/Builtins.lc 48:22-52:37  Type | Type->Type
testdata/Builtins.lc 48:30-48:35  Type
testdata/Builtins.lc 49:22-49:26  Type
testdata/Builtins.lc 49:22-49:33  Type->Type
testdata/Builtins.lc 49:22-52:37  Type
testdata/Builtins.lc 49:29-49:33  Type
testdata/Builtins.lc 50:22-50:25  Type
testdata/Builtins.lc 50:22-50:31  Type->Type
testdata/Builtins.lc 50:22-52:37  Type
testdata/Builtins.lc 50:28-50:31  Type
testdata/Builtins.lc 51:28-51:31  Type
testdata/Builtins.lc 51:28-51:36  Type->Type
testdata/Builtins.lc 51:28-52:37  Type
testdata/Builtins.lc 51:35-51:36  Nat->Type | Type | Type -> Nat->Type
testdata/Builtins.lc 52:27-52:32  Type
testdata/Builtins.lc 52:27-52:37  Type->Type
testdata/Builtins.lc 52:36-52:37  Nat -> Nat -> Type->Type | Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 56:6-56:11  Type
testdata/Builtins.lc 56:6-56:31  Type
testdata/Builtins.lc 56:14-56:16  Swizz
testdata/Builtins.lc 56:19-56:21  Swizz
testdata/Builtins.lc 56:24-56:26  Swizz
testdata/Builtins.lc 56:29-56:31  Swizz
testdata/Builtins.lc 59:26-59:56  Type
testdata/Builtins.lc 59:27-59:28  V5
testdata/Builtins.lc 59:32-59:33  Type | V4
testdata/Builtins.lc 59:38-59:41  Nat -> Type->Type
testdata/Builtins.lc 59:38-59:43  Type->Type
testdata/Builtins.lc 59:38-59:45  Type
testdata/Builtins.lc 59:38-59:56  Type
testdata/Builtins.lc 59:42-59:43  V2
testdata/Builtins.lc 59:44-59:45  Type
testdata/Builtins.lc 59:49-59:52  Nat -> Type->Type
testdata/Builtins.lc 59:49-59:54  Type->Type
testdata/Builtins.lc 59:49-59:56  Type
testdata/Builtins.lc 59:53-59:54  Nat
testdata/Builtins.lc 59:55-59:56  Type
testdata/Builtins.lc 60:1-60:7  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 60:23-60:32  {a} -> (d : b:Nat -> VecS a b -> Type) -> (e:a -> f:a -> d 2 ('V2 e f)) -> (h:a -> i:a -> j:a -> d 3 ('V3 h i j)) -> (l:a -> m:a -> n:a -> o:a -> d 4 ('V4 l m n o)) -> {q:Nat} -> (r : VecS a q) -> d q r
testdata/Builtins.lc 60:23-60:51  (V0 -> V1 -> VecS V6 2) -> (V1 -> V2 -> V3 -> VecS V8 3) -> (V2 -> V3 -> V4 -> V5 -> VecS V10 4) -> {m:Nat} -> VecS V4 m -> VecS V9 m
testdata/Builtins.lc 60:23-61:29  (V4 -> V5 -> V6 -> VecS V6 3) -> (V5 -> V6 -> V7 -> V8 -> VecS V8 4) -> {j:Nat} -> VecS V7 j -> VecS V7 j
testdata/Builtins.lc 60:23-62:37  (V4 -> V5 -> V6 -> V7 -> VecS V7 4) -> {f:Nat} -> VecS V6 f -> VecS V6 f
testdata/Builtins.lc 60:23-63:45  {a:Nat} -> VecS V5 a -> VecS V5 a
testdata/Builtins.lc 60:23-64:7  VecS V4 V2 -> VecS V4 V3
testdata/Builtins.lc 60:23-65:6  V2->V2 -> VecS V3 V1 -> VecS V3 V2 | VecS V3 V1 -> VecS V3 V2 | VecS V3 V2 | {a:Nat} -> V2->V2 -> VecS V3 a -> VecS V3 a | {a} -> {b:Nat} -> V2->a -> VecS V3 b -> VecS a b | {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 60:33-60:51  a:Nat -> VecS V1 a -> Type
testdata/Builtins.lc 60:42-60:46  Nat -> Type->Type
testdata/Builtins.lc 60:42-60:48  Type->Type
testdata/Builtins.lc 60:42-60:50  Type | VecS V1 V0 -> Type
testdata/Builtins.lc 60:47-60:48  Nat
testdata/Builtins.lc 60:49-60:50  Type
testdata/Builtins.lc 61:5-61:29  V0 -> V1 -> VecS V6 2
testdata/Builtins.lc 61:14-61:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 61:14-61:22  V5 -> VecS V6 2
testdata/Builtins.lc 61:14-61:28  V1 -> VecS V6 2 | VecS V5 2
testdata/Builtins.lc 61:17-61:22  V5
testdata/Builtins.lc 61:18-61:19  V8->V8
testdata/Builtins.lc 61:20-61:21  V2
testdata/Builtins.lc 61:23-61:28  V5
testdata/Builtins.lc 61:24-61:25  V6->V6
testdata/Builtins.lc 61:26-61:27  V6
testdata/Builtins.lc 62:5-62:37  V4 -> V5 -> V6 -> VecS V6 3
testdata/Builtins.lc 62:16-62:18  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 62:16-62:24  V6 -> V7 -> VecS V8 3
testdata/Builtins.lc 62:16-62:30  V6 -> VecS V7 3
testdata/Builtins.lc 62:16-62:36  V5 -> V6 -> VecS V6 3 | V6 -> VecS V6 3 | VecS V6 3
testdata/Builtins.lc 62:19-62:24  V6
testdata/Builtins.lc 62:20-62:21  V8->V8
testdata/Builtins.lc 62:22-62:23  V7
testdata/Builtins.lc 62:25-62:30  V6
testdata/Builtins.lc 62:26-62:27  V7->V7
testdata/Builtins.lc 62:28-62:29  V7
testdata/Builtins.lc 62:31-62:36  V6
testdata/Builtins.lc 62:32-62:33  V7->V7
testdata/Builtins.lc 62:34-62:35  V7
testdata/Builtins.lc 63:5-63:45  V4 -> V5 -> V6 -> V7 -> VecS V7 4
testdata/Builtins.lc 63:18-63:20  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 63:18-63:26  V7 -> V8 -> V9 -> VecS V10 4
testdata/Builtins.lc 63:18-63:32  V7 -> V8 -> VecS V9 4
testdata/Builtins.lc 63:18-63:38  V7 -> VecS V8 4
testdata/Builtins.lc 63:18-63:44  V5 -> V6 -> V7 -> VecS V7 4 | V6 -> V7 -> VecS V7 4 | V7 -> VecS V7 4 | VecS V7 4
testdata/Builtins.lc 63:21-63:26  V7
testdata/Builtins.lc 63:22-63:23  V9->V9
testdata/Builtins.lc 63:24-63:25  V8
testdata/Builtins.lc 63:27-63:32  V7
testdata/Builtins.lc 63:28-63:29  V8->V8
testdata/Builtins.lc 63:30-63:31  V8
testdata/Builtins.lc 63:33-63:38  V7
testdata/Builtins.lc 63:34-63:35  V8->V8
testdata/Builtins.lc 63:36-63:37  V8
testdata/Builtins.lc 63:39-63:44  V7
testdata/Builtins.lc 63:40-63:41  V8->V8
testdata/Builtins.lc 63:42-63:43  V8
testdata/Builtins.lc 64:6-64:7  Nat
testdata/Builtins.lc 65:5-65:6  VecS V4 V2
testdata/Builtins.lc 68:16-68:48  Type
testdata/Builtins.lc 68:27-68:30  Nat -> Type->Type
testdata/Builtins.lc 68:27-68:32  Type->Type
testdata/Builtins.lc 68:27-68:34  Type
testdata/Builtins.lc 68:27-68:48  Type
testdata/Builtins.lc 68:31-68:32  V1
testdata/Builtins.lc 68:33-68:34  V2
testdata/Builtins.lc 68:38-68:43  Type
testdata/Builtins.lc 68:38-68:48  Type
testdata/Builtins.lc 68:47-68:48  Type
testdata/Builtins.lc 69:1-69:12  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 69:17-69:20  VecS V5 V4
testdata/Builtins.lc 69:17-77:32  Swizz->V3 | V3 | VecS V1 V0 -> Swizz->V3
testdata/Builtins.lc 69:22-69:24  Swizz
testdata/Builtins.lc 69:22-70:28  V1 -> V2->V2 | V2 | V2->V2
testdata/Builtins.lc 69:22-73:30  (V0 -> V1 -> V2 -> V3->V4) -> {f:Nat} -> VecS V2 f -> V3
testdata/Builtins.lc 69:22-77:32  {a:Nat} -> VecS V1 a -> V2
testdata/Builtins.lc 69:27-69:28  V4
testdata/Builtins.lc 69:27-70:28  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 70:27-70:28  V3
testdata/Builtins.lc 71:24-71:26  Swizz
testdata/Builtins.lc 71:24-73:30  V0 -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
testdata/Builtins.lc 71:29-71:30  V4
testdata/Builtins.lc 71:29-72:30  V3 -> V4 -> Swizz->V6
testdata/Builtins.lc 71:29-73:30  V3 -> Swizz->V5
testdata/Builtins.lc 72:29-72:30  V3
testdata/Builtins.lc 73:29-73:30  V3
testdata/Builtins.lc 74:26-74:28  Swizz
testdata/Builtins.lc 74:26-77:32  V0 -> V1 -> V2 -> V3->V4 | V1 -> V2 -> V3->V4 | V2 -> V3->V4 | V3->V4 | V4
testdata/Builtins.lc 74:31-74:32  V5
testdata/Builtins.lc 74:31-75:32  V4 -> V5 -> Swizz->V7
testdata/Builtins.lc 74:31-76:32  V4 -> Swizz->V6
testdata/Builtins.lc 74:31-77:32  Swizz->V5
testdata/Builtins.lc 75:31-75:32  V4
testdata/Builtins.lc 76:31-76:32  V4
testdata/Builtins.lc 77:31-77:32  V4
testdata/Builtins.lc 80:28-80:31  Nat -> Type->Type
testdata/Builtins.lc 80:28-80:33  Type->Type
testdata/Builtins.lc 80:28-80:35  Type
testdata/Builtins.lc 80:28-80:43  Type
testdata/Builtins.lc 80:32-80:33  V1
testdata/Builtins.lc 80:34-80:35  V2
testdata/Builtins.lc 80:39-80:43  Type
testdata/Builtins.lc 81:1-81:11  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 81:16-81:19  VecS V4 V3
testdata/Builtins.lc 81:16-83:31  Bool | VecS V1 V0 -> Bool
testdata/Builtins.lc 81:23-81:27  Bool | V1 -> V2->V2 | V2->V2
testdata/Builtins.lc 81:23-82:29  (V0 -> V1 -> V2 -> V3->Bool) -> {f:Nat} -> VecS V2 f -> Bool
testdata/Builtins.lc 81:23-83:31  {a:Nat} -> VecS V1 a -> Bool
testdata/Builtins.lc 82:25-82:29  Bool | V0 -> V1 -> V2->Bool | V1 -> V2->Bool | V2->Bool
testdata/Builtins.lc 83:27-83:31  Bool | V0 -> V1 -> V2 -> V3->Bool | V1 -> V2 -> V3->Bool | V2 -> V3->Bool | V3->Bool
testdata/Builtins.lc 85:16-85:71  Type
testdata/Builtins.lc 85:27-85:71  Type
testdata/Builtins.lc 85:38-85:41  Nat -> Type->Type
testdata/Builtins.lc 85:38-85:43  Type->Type
testdata/Builtins.lc 85:38-85:45  Type
testdata/Builtins.lc 85:38-85:71  Type
testdata/Builtins.lc 85:42-85:43  V3
testdata/Builtins.lc 85:44-85:45  V4
testdata/Builtins.lc 85:49-85:52  Nat -> Type->Type
testdata/Builtins.lc 85:49-85:54  Type->Type
testdata/Builtins.lc 85:49-85:60  Type
testdata/Builtins.lc 85:49-85:71  Type
testdata/Builtins.lc 85:53-85:54  V2
testdata/Builtins.lc 85:55-85:60  Type
testdata/Builtins.lc 85:64-85:67  Nat -> Type->Type
testdata/Builtins.lc 85:64-85:69  Type->Type
testdata/Builtins.lc 85:64-85:71  Type
testdata/Builtins.lc 85:68-85:69  Nat
testdata/Builtins.lc 85:70-85:71  Type
testdata/Builtins.lc 86:1-86:12  {a} -> {b:Nat} -> {c:Nat} -> VecS a b -> VecS Swizz c -> VecS a c
testdata/Builtins.lc 86:19-86:29  {a} -> {b:Nat} -> VecS a b -> Bool
testdata/Builtins.lc 86:19-86:31  Bool
testdata/Builtins.lc 86:19-86:58  VecS Swizz V1 -> VecS V4 V2 | VecS V2 V1 -> VecS Swizz V1 -> VecS V4 V2 | VecS V4 V2
testdata/Builtins.lc 86:30-86:31  VecS V6 V5
testdata/Builtins.lc 86:34-86:40  {a} -> {b} -> {c:Nat} -> a->b -> VecS a c -> VecS b c
testdata/Builtins.lc 86:34-86:56  VecS Swizz V0 -> VecS V7 V1
testdata/Builtins.lc 86:34-86:58  VecS V4 V2
testdata/Builtins.lc 86:41-86:56  Swizz->V9
testdata/Builtins.lc 86:42-86:53  {a} -> {b:Nat} -> VecS a b -> Swizz->a
testdata/Builtins.lc 86:54-86:55  VecS V10 V9
testdata/Builtins.lc 86:57-86:58  VecS Swizz V3
testdata/Builtins.lc 91:7-91:13  Type->Type
testdata/Builtins.lc 93:25-93:28  Type
testdata/Builtins.lc 93:25-94:30  Type | Type->Type
testdata/Builtins.lc 94:25-94:30  Type
testdata/Builtins.lc 96:7-96:16  Type->Type
testdata/Builtins.lc 96:7-97:16  Type
testdata/Builtins.lc 96:7-98:15  Type
testdata/Builtins.lc 97:3-97:11  {a} -> {b : Component a}->a
testdata/Builtins.lc 97:15-97:16  Type
testdata/Builtins.lc 98:3-98:10  {a} -> {b : Component a}->a
testdata/Builtins.lc 98:14-98:15  Type
testdata/Builtins.lc 100:20-100:23  Type
testdata/Builtins.lc 100:20-101:22  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 100:20-102:21  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 100:20-118:24  Type | Type->Type
testdata/Builtins.lc 100:20-128:40  {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 100:20-129:35  {a : Component V0}->V1 | {a} -> {b : Component a}->a
testdata/Builtins.lc 101:14-101:15  V1
testdata/Builtins.lc 101:14-101:22  Int
testdata/Builtins.lc 101:19-101:22  Type
testdata/Builtins.lc 102:13-102:14  V1
testdata/Builtins.lc 102:13-102:21  Int
testdata/Builtins.lc 102:18-102:21  Type
testdata/Builtins.lc 103:20-103:24  Type
testdata/Builtins.lc 103:20-104:23  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 103:20-105:22  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 103:20-118:24  Type
testdata/Builtins.lc 103:20-128:40  {a : Component V0}->V1
testdata/Builtins.lc 103:20-129:35  {a : Component V0}->V1
testdata/Builtins.lc 104:14-104:15  V1
testdata/Builtins.lc 104:14-104:23  Word
testdata/Builtins.lc 104:19-104:23  Type
testdata/Builtins.lc 105:13-105:14  V1
testdata/Builtins.lc 105:13-105:22  Word
testdata/Builtins.lc 105:18-105:22  Type
testdata/Builtins.lc 106:20-106:25  Type
testdata/Builtins.lc 106:20-107:17  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 106:20-108:16  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 106:20-118:24  Type
testdata/Builtins.lc 106:20-128:40  {a : Component V0}->V1
testdata/Builtins.lc 106:20-129:35  {a : Component V0}->V1
testdata/Builtins.lc 107:14-107:17  Float
testdata/Builtins.lc 108:13-108:16  Float
testdata/Builtins.lc 109:26-109:31  Type
testdata/Builtins.lc 109:26-118:24  Type
testdata/Builtins.lc 109:26-128:40  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 109:26-129:35  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 110:14-110:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 110:14-110:20  Float -> VecS Float 2
testdata/Builtins.lc 110:14-110:24  VecS Float 2
testdata/Builtins.lc 110:14-116:32  a:Nat -> {b : Component (VecS Float ('Succ ('Succ a)))} -> VecS Float ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Float ('Succ a))} -> VecS Float ('Succ a)
testdata/Builtins.lc 110:14-128:40  a:Nat -> {b : Component (VecS V1 a)} -> VecS V2 a | a:Type -> b:Nat -> {c : Component (VecS a b)} -> VecS a b | {a : Component (VecS V1 V0)} -> VecS V2 V1
testdata/Builtins.lc 110:17-110:20  Float
testdata/Builtins.lc 110:21-110:24  Float
testdata/Builtins.lc 111:13-111:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 111:13-111:19  Float -> VecS Float 2
testdata/Builtins.lc 111:13-111:23  VecS Float 2
testdata/Builtins.lc 111:13-117:31  a:Nat -> {b : Component (VecS Float ('Succ ('Succ a)))} -> VecS Float ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Float ('Succ a))} -> VecS Float ('Succ a)
testdata/Builtins.lc 111:13-129:35  a:Nat -> {b : Component (VecS V1 a)} -> VecS V2 a | a:Type -> b:Nat -> {c : Component (VecS a b)} -> VecS a b | {a : Component (VecS V1 V0)} -> VecS V2 V1
testdata/Builtins.lc 111:16-111:19  Float
testdata/Builtins.lc 111:20-111:23  Float
testdata/Builtins.lc 113:14-113:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 113:14-113:20  Float -> Float -> VecS Float 3
testdata/Builtins.lc 113:14-113:24  Float -> VecS Float 3
testdata/Builtins.lc 113:14-113:28  VecS Float 3
testdata/Builtins.lc 113:14-116:32  a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ a))))} -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 113:17-113:20  Float
testdata/Builtins.lc 113:21-113:24  Float
testdata/Builtins.lc 113:25-113:28  Float
testdata/Builtins.lc 114:13-114:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 114:13-114:19  Float -> Float -> VecS Float 3
testdata/Builtins.lc 114:13-114:23  Float -> VecS Float 3
testdata/Builtins.lc 114:13-114:27  VecS Float 3
testdata/Builtins.lc 114:13-117:31  a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ a))))} -> VecS Float ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 114:16-114:19  Float
testdata/Builtins.lc 114:20-114:23  Float
testdata/Builtins.lc 114:24-114:27  Float
testdata/Builtins.lc 116:14-116:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 116:14-116:20  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:24  Float -> Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:28  Float -> VecS Float 4
testdata/Builtins.lc 116:14-116:32  VecS Float 4 | a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 116:17-116:20  Float
testdata/Builtins.lc 116:21-116:24  Float
testdata/Builtins.lc 116:25-116:28  Float
testdata/Builtins.lc 116:29-116:32  Float
testdata/Builtins.lc 117:13-117:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 117:13-117:19  Float -> Float -> Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:23  Float -> Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:27  Float -> VecS Float 4
testdata/Builtins.lc 117:13-117:31  VecS Float 4 | a:Nat -> {b : Component (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Float ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 117:16-117:19  Float
testdata/Builtins.lc 117:20-117:23  Float
testdata/Builtins.lc 117:24-117:27  Float
testdata/Builtins.lc 117:28-117:31  Float
testdata/Builtins.lc 118:20-118:24  Type
testdata/Builtins.lc 118:20-119:19  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 118:20-120:17  {a : Component V0}->V1 -> {c : Component V1}->V2
testdata/Builtins.lc 119:14-119:19  Bool
testdata/Builtins.lc 120:13-120:17  Bool
testdata/Builtins.lc 122:14-122:16  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 122:14-122:22  Bool -> VecS Bool 2
testdata/Builtins.lc 122:14-122:28  VecS Bool 2
testdata/Builtins.lc 122:14-128:40  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ a)))} -> VecS Bool ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Bool ('Succ a))} -> VecS Bool ('Succ a)
testdata/Builtins.lc 122:17-122:22  Bool
testdata/Builtins.lc 122:23-122:28  Bool
testdata/Builtins.lc 123:13-123:15  {a} -> a -> a -> VecS a 2
testdata/Builtins.lc 123:13-123:20  Bool -> VecS Bool 2
testdata/Builtins.lc 123:13-123:25  VecS Bool 2
testdata/Builtins.lc 123:13-129:35  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ a)))} -> VecS Bool ('Succ ('Succ a)) | a:Nat -> {b : Component (VecS Bool ('Succ a))} -> VecS Bool ('Succ a)
testdata/Builtins.lc 123:16-123:20  Bool
testdata/Builtins.lc 123:21-123:25  Bool
testdata/Builtins.lc 125:14-125:16  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 125:14-125:22  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 125:14-125:28  Bool -> VecS Bool 3
testdata/Builtins.lc 125:14-125:34  VecS Bool 3
testdata/Builtins.lc 125:14-128:40  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ a))))} -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 125:17-125:22  Bool
testdata/Builtins.lc 125:23-125:28  Bool
testdata/Builtins.lc 125:29-125:34  Bool
testdata/Builtins.lc 126:13-126:15  {a} -> a -> a -> a -> VecS a 3
testdata/Builtins.lc 126:13-126:20  Bool -> Bool -> VecS Bool 3
testdata/Builtins.lc 126:13-126:25  Bool -> VecS Bool 3
testdata/Builtins.lc 126:13-126:30  VecS Bool 3
testdata/Builtins.lc 126:13-129:35  a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ a))))} -> VecS Bool ('Succ ('Succ ('Succ a)))
testdata/Builtins.lc 126:16-126:20  Bool
testdata/Builtins.lc 126:21-126:25  Bool
testdata/Builtins.lc 126:26-126:30  Bool
testdata/Builtins.lc 128:14-128:16  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 128:14-128:22  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:28  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:34  Bool -> VecS Bool 4
testdata/Builtins.lc 128:14-128:40  VecS Bool 4 | a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 128:17-128:22  Bool
testdata/Builtins.lc 128:23-128:28  Bool
testdata/Builtins.lc 128:29-128:34  Bool
testdata/Builtins.lc 128:35-128:40  Bool
testdata/Builtins.lc 129:13-129:15  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 129:13-129:20  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:25  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:30  Bool -> VecS Bool 4
testdata/Builtins.lc 129:13-129:35  VecS Bool 4 | a:Nat -> {b : Component (VecS Bool ('Succ ('Succ ('Succ ('Succ a)))))} -> VecS Bool ('Succ ('Succ ('Succ ('Succ a))))
testdata/Builtins.lc 129:16-129:20  Bool
testdata/Builtins.lc 129:21-129:25  Bool
testdata/Builtins.lc 129:26-129:30  Bool
testdata/Builtins.lc 129:31-129:35  Bool
testdata/Builtins.lc 131:7-131:15  Type->Type
testdata/Builtins.lc 133:25-133:28  Type
testdata/Builtins.lc 133:25-134:29  Type | Type->Type
testdata/Builtins.lc 134:25-134:29  Type
testdata/Builtins.lc 136:7-136:15  Type->Type
testdata/Builtins.lc 138:25-138:30  Type
testdata/Builtins.lc 138:25-142:39  Type | Type->Type
testdata/Builtins.lc 139:31-139:36  Type
testdata/Builtins.lc 139:31-142:39  Type
testdata/Builtins.lc 142:34-142:39  Type
testdata/Builtins.lc 152:6-152:20  Type
testdata/Builtins.lc 152:6-167:23  Type
testdata/Builtins.lc 153:7-153:12  BlendingFactor
testdata/Builtins.lc 154:7-154:10  BlendingFactor
testdata/Builtins.lc 155:7-155:15  BlendingFactor
testdata/Builtins.lc 156:7-156:23  BlendingFactor
testdata/Builtins.lc 157:7-157:15  BlendingFactor
testdata/Builtins.lc 158:7-158:23  BlendingFactor
testdata/Builtins.lc 159:7-159:15  BlendingFactor
testdata/Builtins.lc 160:7-160:23  BlendingFactor
testdata/Builtins.lc 161:7-161:15  BlendingFactor
testdata/Builtins.lc 162:7-162:23  BlendingFactor
testdata/Builtins.lc 163:7-163:20  BlendingFactor
testdata/Builtins.lc 164:7-164:28  BlendingFactor
testdata/Builtins.lc 165:7-165:20  BlendingFactor
testdata/Builtins.lc 166:7-166:28  BlendingFactor
testdata/Builtins.lc 167:7-167:23  BlendingFactor
testdata/Builtins.lc 169:6-169:19  Type
testdata/Builtins.lc 169:6-174:10  Type
testdata/Builtins.lc 170:7-170:14  BlendEquation
testdata/Builtins.lc 171:7-171:19  BlendEquation
testdata/Builtins.lc 172:7-172:26  BlendEquation
testdata/Builtins.lc 173:7-173:10  BlendEquation
testdata/Builtins.lc 174:7-174:10  BlendEquation
testdata/Builtins.lc 176:6-176:20  Type
testdata/Builtins.lc 176:6-192:10  Type
testdata/Builtins.lc 177:7-177:12  LogicOperation
testdata/Builtins.lc 178:7-178:10  LogicOperation
testdata/Builtins.lc 179:7-179:17  LogicOperation
testdata/Builtins.lc 180:7-180:11  LogicOperation
testdata/Builtins.lc 181:7-181:18  LogicOperation
testdata/Builtins.lc 182:7-182:11  LogicOperation
testdata/Builtins.lc 183:7-183:10  LogicOperation
testdata/Builtins.lc 184:7-184:9  LogicOperation
testdata/Builtins.lc 185:7-185:10  LogicOperation
testdata/Builtins.lc 186:7-186:12  LogicOperation
testdata/Builtins.lc 187:7-187:13  LogicOperation
testdata/Builtins.lc 188:7-188:16  LogicOperation
testdata/Builtins.lc 189:7-189:19  LogicOperation
testdata/Builtins.lc 190:7-190:17  LogicOperation
testdata/Builtins.lc 191:7-191:11  LogicOperation
testdata/Builtins.lc 192:7-192:10  LogicOperation
testdata/Builtins.lc 194:6-194:22  Type
testdata/Builtins.lc 194:6-202:15  Type
testdata/Builtins.lc 195:7-195:13  StencilOperation
testdata/Builtins.lc 196:7-196:13  StencilOperation
testdata/Builtins.lc 197:7-197:16  StencilOperation
testdata/Builtins.lc 198:7-198:13  StencilOperation
testdata/Builtins.lc 199:7-199:17  StencilOperation
testdata/Builtins.lc 200:7-200:13  StencilOperation
testdata/Builtins.lc 201:7-201:17  StencilOperation
testdata/Builtins.lc 202:7-202:15  StencilOperation
testdata/Builtins.lc 204:6-204:24  Type
testdata/Builtins.lc 204:6-212:13  Type
testdata/Builtins.lc 205:7-205:12  ComparisonFunction
testdata/Builtins.lc 206:7-206:11  ComparisonFunction
testdata/Builtins.lc 207:7-207:12  ComparisonFunction
testdata/Builtins.lc 208:7-208:13  ComparisonFunction
testdata/Builtins.lc 209:7-209:14  ComparisonFunction
testdata/Builtins.lc 210:7-210:15  ComparisonFunction
testdata/Builtins.lc 211:7-211:13  ComparisonFunction
testdata/Builtins.lc 212:7-212:13  ComparisonFunction
testdata/Builtins.lc 214:6-214:21  Type
testdata/Builtins.lc 214:6-216:18  Type
testdata/Builtins.lc 215:7-215:17  ProvokingVertex
testdata/Builtins.lc 216:7-216:18  ProvokingVertex
testdata/Builtins.lc 218:6-218:14  Type
testdata/Builtins.lc 218:6-221:15  Type
testdata/Builtins.lc 219:7-219:16  CullMode
testdata/Builtins.lc 220:7-220:15  CullMode
testdata/Builtins.lc 221:7-221:15  CullMode
testdata/Builtins.lc 223:6-223:15  Type | Type->Type
testdata/Builtins.lc 223:6-224:22  Type
testdata/Builtins.lc 223:6-225:23  Type
testdata/Builtins.lc 223:6-225:36  Type
testdata/Builtins.lc 224:7-224:16  PointSize V2 | Type | {a} -> Float -> PointSize a
testdata/Builtins.lc 224:17-224:22  Type
testdata/Builtins.lc 225:7-225:23  PointSize V3 | Type | {a} -> a->Float -> PointSize a
testdata/Builtins.lc 225:25-225:26  Type
testdata/Builtins.lc 225:30-225:35  Type
testdata/Builtins.lc 227:6-227:17  Type | Type->Type
testdata/Builtins.lc 227:6-229:33  Type
testdata/Builtins.lc 227:6-230:18  Type
testdata/Builtins.lc 227:6-230:24  Type
testdata/Builtins.lc 228:7-228:18  PolygonMode V1 | {a} -> PolygonMode a
testdata/Builtins.lc 229:7-229:19  PolygonMode V3 | Type | {a} -> PointSize a -> PolygonMode a
testdata/Builtins.lc 229:20-229:33  Type
testdata/Builtins.lc 229:21-229:30  Type->Type
testdata/Builtins.lc 229:31-229:32  Type
testdata/Builtins.lc 230:7-230:18  PolygonMode V4 | Type | {a} -> Float -> PolygonMode a
testdata/Builtins.lc 230:19-230:24  Type
testdata/Builtins.lc 232:6-232:19  Type
testdata/Builtins.lc 232:6-234:13  Type
testdata/Builtins.lc 232:6-234:25  Type
testdata/Builtins.lc 233:7-233:15  PolygonOffset
testdata/Builtins.lc 234:7-234:13  Float -> Float->PolygonOffset | PolygonOffset | Type
testdata/Builtins.lc 234:14-234:19  Type
testdata/Builtins.lc 234:20-234:25  Type
testdata/Builtins.lc 236:6-236:28  Type
testdata/Builtins.lc 236:6-238:16  Type
testdata/Builtins.lc 237:7-237:16  PointSpriteCoordOrigin
testdata/Builtins.lc 238:7-238:16  PointSpriteCoordOrigin
testdata/Builtins.lc 241:6-241:11  Type | Type->Type
testdata/Builtins.lc 242:6-242:13  Type | Type->Type
testdata/Builtins.lc 243:6-243:11  Type | Type->Type
testdata/Builtins.lc 245:6-245:19  Type
testdata/Builtins.lc 245:6-250:20  Type
testdata/Builtins.lc 246:7-246:15  PrimitiveType
testdata/Builtins.lc 247:7-247:11  PrimitiveType
testdata/Builtins.lc 248:7-248:12  PrimitiveType
testdata/Builtins.lc 249:7-249:24  PrimitiveType
testdata/Builtins.lc 250:7-250:20  PrimitiveType
testdata/Builtins.lc 253:1-253:12  Tuple0 -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 253:16-253:18  Type
testdata/Builtins.lc 253:22-253:25  Nat -> Type->Type
testdata/Builtins.lc 253:22-253:27  Type->Type
testdata/Builtins.lc 253:22-253:33  Type
testdata/Builtins.lc 253:22-253:48  Type
testdata/Builtins.lc 253:26-253:27  V1
testdata/Builtins.lc 253:28-253:33  Type
testdata/Builtins.lc 253:37-253:40  Nat -> Type->Type
testdata/Builtins.lc 253:37-253:42  Type->Type
testdata/Builtins.lc 253:37-253:48  Type
testdata/Builtins.lc 253:41-253:42  V1
testdata/Builtins.lc 253:43-253:48  Type
testdata/Builtins.lc 256:1-256:8  {a} -> String->a
testdata/Builtins.lc 256:14-256:20  Type
testdata/Builtins.lc 256:14-256:25  Type
testdata/Builtins.lc 256:24-256:25  Type | V2
testdata/Builtins.lc 257:1-257:10  {a} -> String->a
testdata/Builtins.lc 257:14-257:20  Type
testdata/Builtins.lc 257:14-257:25  Type
testdata/Builtins.lc 257:24-257:25  Type | V2
testdata/Builtins.lc 259:6-259:19  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 259:6-262:111  Type
testdata/Builtins.lc 259:25-259:38  Type
testdata/Builtins.lc 259:25-259:46  Type
testdata/Builtins.lc 259:42-259:46  Type
testdata/Builtins.lc 260:3-260:14  RasterContext V5 'Triangle | {a} -> CullMode -> PolygonMode a -> PolygonOffset -> ProvokingVertex -> RasterContext a 'Triangle
testdata/Builtins.lc 260:3-260:115  Type
testdata/Builtins.lc 260:26-260:34  Type
testdata/Builtins.lc 260:26-260:115  Type
testdata/Builtins.lc 260:38-260:49  Type->Type
testdata/Builtins.lc 260:38-260:51  Type
testdata/Builtins.lc 260:38-260:115  Type
testdata/Builtins.lc 260:50-260:51  Type
testdata/Builtins.lc 260:55-260:68  Type
testdata/Builtins.lc 260:55-260:115  Type
testdata/Builtins.lc 260:72-260:87  Type
testdata/Builtins.lc 260:72-260:115  Type
testdata/Builtins.lc 260:91-260:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 260:91-260:106  PrimitiveType->Type
testdata/Builtins.lc 260:91-260:115  Type
testdata/Builtins.lc 260:105-260:106  Type
testdata/Builtins.lc 260:107-260:115  PrimitiveType
testdata/Builtins.lc 261:3-261:11  RasterContext V5 'Point | {a} -> PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point
testdata/Builtins.lc 261:3-261:112  Type
testdata/Builtins.lc 261:26-261:35  Type->Type
testdata/Builtins.lc 261:26-261:37  Type
testdata/Builtins.lc 261:26-261:112  Type
testdata/Builtins.lc 261:36-261:37  Type
testdata/Builtins.lc 261:41-261:46  Type
testdata/Builtins.lc 261:41-261:112  Type
testdata/Builtins.lc 261:50-261:72  Type
testdata/Builtins.lc 261:50-261:112  Type
testdata/Builtins.lc 261:91-261:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 261:91-261:106  PrimitiveType->Type
testdata/Builtins.lc 261:91-261:112  Type
testdata/Builtins.lc 261:105-261:106  Type
testdata/Builtins.lc 261:107-261:112  PrimitiveType
testdata/Builtins.lc 262:3-262:10  RasterContext V5 'Line | {a} -> Float -> ProvokingVertex -> RasterContext a 'Line
testdata/Builtins.lc 262:3-262:111  Type
testdata/Builtins.lc 262:26-262:31  Type
testdata/Builtins.lc 262:26-262:111  Type
testdata/Builtins.lc 262:35-262:50  Type
testdata/Builtins.lc 262:35-262:111  Type
testdata/Builtins.lc 262:91-262:104  Type -> PrimitiveType->Type
testdata/Builtins.lc 262:91-262:106  PrimitiveType->Type
testdata/Builtins.lc 262:91-262:111  Type
testdata/Builtins.lc 262:105-262:106  Type
testdata/Builtins.lc 262:107-262:111  PrimitiveType
testdata/Builtins.lc 266:5-266:12  Type->Type
testdata/Builtins.lc 266:14-266:15  Type
testdata/Builtins.lc 266:14-266:20  Type->Type
testdata/Builtins.lc 266:14-267:32  Type | Type->Type
testdata/Builtins.lc 266:19-266:20  Type | Type->Type
testdata/Builtins.lc 267:15-267:21  Type
testdata/Builtins.lc 267:15-267:32  Type->Type
testdata/Builtins.lc 267:26-267:32  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 267:27-267:28  Type
testdata/Builtins.lc 267:30-267:31  Type
testdata/Builtins.lc 269:6-269:14  Type | Type->Type
testdata/Builtins.lc 269:6-274:74  Type
testdata/Builtins.lc 269:18-269:22  Type
testdata/Builtins.lc 269:26-269:30  Type
testdata/Builtins.lc 270:3-270:13  Blending V0 | {a} -> Blending a
testdata/Builtins.lc 270:3-270:70  Type
testdata/Builtins.lc 270:60-270:68  Type->Type
testdata/Builtins.lc 270:60-270:70  Type
testdata/Builtins.lc 270:69-270:70  Type | V1
testdata/Builtins.lc 271:3-271:15  Blending V2 | {a} -> {b : Integral a} -> LogicOperation -> Blending a
testdata/Builtins.lc 271:3-271:70  Type
testdata/Builtins.lc 271:26-271:38  Type
testdata/Builtins.lc 271:26-271:70  Type
testdata/Builtins.lc 271:27-271:35  Type->Type
testdata/Builtins.lc 271:36-271:37  V1
testdata/Builtins.lc 271:42-271:56  Type
testdata/Builtins.lc 271:42-271:70  Type
testdata/Builtins.lc 271:60-271:68  Type->Type
testdata/Builtins.lc 271:60-271:70  Type
testdata/Builtins.lc 271:69-271:70  Type
testdata/Builtins.lc 272:3-272:8  Blending Float | Tuple2 BlendEquation BlendEquation -> Tuple2 (Tuple2 BlendingFactor BlendingFactor) (Tuple2 BlendingFactor BlendingFactor) -> VecS Float 4 -> Blending Float
testdata/Builtins.lc 272:3-274:74  Type
testdata/Builtins.lc 272:26-272:56  Type
testdata/Builtins.lc 272:27-272:40  Type
testdata/Builtins.lc 272:42-272:55  Type
testdata/Builtins.lc 273:29-273:97  Type
testdata/Builtins.lc 273:29-274:74  Type
testdata/Builtins.lc 273:30-273:62  Type
testdata/Builtins.lc 273:31-273:45  Type
testdata/Builtins.lc 273:47-273:61  Type
testdata/Builtins.lc 273:64-273:96  Type
testdata/Builtins.lc 273:65-273:79  Type
testdata/Builtins.lc 273:81-273:95  Type
testdata/Builtins.lc 274:29-274:32  Nat -> Type->Type
testdata/Builtins.lc 274:29-274:34  Type->Type
testdata/Builtins.lc 274:29-274:40  Type
testdata/Builtins.lc 274:29-274:74  Type
testdata/Builtins.lc 274:33-274:34  V1
testdata/Builtins.lc 274:35-274:40  Type
testdata/Builtins.lc 274:60-274:68  Type->Type
testdata/Builtins.lc 274:60-274:74  Type
testdata/Builtins.lc 274:69-274:74  Type
testdata/Builtins.lc 281:6-281:18  Type
testdata/Builtins.lc 282:6-282:16  Type
testdata/Builtins.lc 283:6-283:11  Type
testdata/Builtins.lc 285:6-285:23  Type | Type->Type
testdata/Builtins.lc 285:6-289:104  Type
testdata/Builtins.lc 285:27-285:31  Type
testdata/Builtins.lc 285:35-285:39  Type
testdata/Builtins.lc 286:3-286:10  FragmentOperation (Color V6) | {a} -> {b:Nat} -> {c} -> {d} -> {e : a ~ VecScalar b Bool} -> {f : c ~ VecScalar b d} -> {g : Num d} -> Blending d -> a -> FragmentOperation (Color c)
testdata/Builtins.lc 286:3-287:102  Type
testdata/Builtins.lc 286:26-287:102  Type
testdata/Builtins.lc 286:27-286:31  V7
testdata/Builtins.lc 286:27-286:33  Type->Type
testdata/Builtins.lc 286:27-286:50  Type
testdata/Builtins.lc 286:32-286:33  Type -> Type->Type
testdata/Builtins.lc 286:34-286:43  Nat -> Type->Type
testdata/Builtins.lc 286:34-286:45  Type->Type
testdata/Builtins.lc 286:34-286:50  Type
testdata/Builtins.lc 286:44-286:45  V5
testdata/Builtins.lc 286:46-286:50  Type
testdata/Builtins.lc 286:52-286:57  V4
testdata/Builtins.lc 286:52-286:59  Type->Type
testdata/Builtins.lc 286:52-286:73  Type
testdata/Builtins.lc 286:52-287:102  Type
testdata/Builtins.lc 286:58-286:59  Type -> Type->Type
testdata/Builtins.lc 286:60-286:69  Nat -> Type->Type
testdata/Builtins.lc 286:60-286:71  Type->Type
testdata/Builtins.lc 286:60-286:73  Type
testdata/Builtins.lc 286:70-286:71  Nat
testdata/Builtins.lc 286:72-286:73  V2
testdata/Builtins.lc 286:75-286:78  Type->Type
testdata/Builtins.lc 286:75-286:80  Type
testdata/Builtins.lc 286:75-287:102  Type
testdata/Builtins.lc 286:79-286:80  Type
testdata/Builtins.lc 286:85-286:93  Type->Type
testdata/Builtins.lc 286:85-286:95  Type
testdata/Builtins.lc 286:85-287:102  Type
testdata/Builtins.lc 286:94-286:95  Type
testdata/Builtins.lc 286:99-286:103  Type
testdata/Builtins.lc 286:99-287:102  Type
testdata/Builtins.lc 287:71-287:88  Type->Type
testdata/Builtins.lc 287:71-287:102  Type
testdata/Builtins.lc 287:89-287:102  Type
testdata/Builtins.lc 287:90-287:95  Type->Type
testdata/Builtins.lc 287:96-287:101  Type
testdata/Builtins.lc 288:3-288:10  ComparisonFunction -> Bool -> FragmentOperation (Depth Float) | FragmentOperation (Depth Float)
testdata/Builtins.lc 288:3-288:102  Type
testdata/Builtins.lc 288:26-288:44  Type
testdata/Builtins.lc 288:48-288:52  Type
testdata/Builtins.lc 288:48-288:102  Type
testdata/Builtins.lc 288:71-288:88  Type->Type
testdata/Builtins.lc 288:71-288:102  Type
testdata/Builtins.lc 288:89-288:102  Type
testdata/Builtins.lc 288:90-288:95  Type->Type
testdata/Builtins.lc 288:96-288:101  Type
testdata/Builtins.lc 289:3-289:12  FragmentOperation (Stencil Int32) | StencilTests -> StencilOps -> StencilOps -> FragmentOperation (Stencil Int32)
testdata/Builtins.lc 289:3-289:104  Type
testdata/Builtins.lc 289:26-289:38  Type
testdata/Builtins.lc 289:42-289:52  Type
testdata/Builtins.lc 289:42-289:104  Type
testdata/Builtins.lc 289:56-289:66  Type
testdata/Builtins.lc 289:56-289:104  Type
testdata/Builtins.lc 289:71-289:88  Type->Type
testdata/Builtins.lc 289:71-289:104  Type
testdata/Builtins.lc 289:89-289:104  Type
testdata/Builtins.lc 289:90-289:97  Type->Type
testdata/Builtins.lc 289:98-289:103  Type
testdata/Builtins.lc 299:5-299:13  Type->Type
testdata/Builtins.lc 299:15-299:21  Type
testdata/Builtins.lc 299:15-299:69  Type->Type
testdata/Builtins.lc 299:15-303:39  Type | Type->Type
testdata/Builtins.lc 299:25-299:69  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 299:26-299:43  Type->Type
testdata/Builtins.lc 299:26-299:46  Type
testdata/Builtins.lc 299:44-299:46  Type
testdata/Builtins.lc 299:48-299:65  Type->Type
testdata/Builtins.lc 299:48-299:68  Type
testdata/Builtins.lc 299:66-299:68  Type
testdata/Builtins.lc 300:15-300:25  Type
testdata/Builtins.lc 300:15-300:95  Type->Type
testdata/Builtins.lc 300:15-303:39  Type
testdata/Builtins.lc 300:29-300:95  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 300:30-300:47  Type->Type
testdata/Builtins.lc 300:30-300:50  Type
testdata/Builtins.lc 300:30-300:72  Type->Type
testdata/Builtins.lc 300:48-300:50  Type
testdata/Builtins.lc 300:52-300:69  Type->Type
testdata/Builtins.lc 300:52-300:72  Type
testdata/Builtins.lc 300:70-300:72  Type
testdata/Builtins.lc 300:74-300:91  Type->Type
testdata/Builtins.lc 300:74-300:94  Type
testdata/Builtins.lc 300:92-300:94  Type
testdata/Builtins.lc 301:15-301:29  Type
testdata/Builtins.lc 301:15-301:122  Type->Type
testdata/Builtins.lc 301:15-303:39  Type
testdata/Builtins.lc 301:34-301:122  Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 301:35-301:52  Type->Type
testdata/Builtins.lc 301:35-301:55  Type
testdata/Builtins.lc 301:35-301:77  Type -> Type->Type
testdata/Builtins.lc 301:35-301:99  Type->Type
testdata/Builtins.lc 301:53-301:55  Type
testdata/Builtins.lc 301:57-301:74  Type->Type
testdata/Builtins.lc 301:57-301:77  Type
testdata/Builtins.lc 301:75-301:77  Type
testdata/Builtins.lc 301:79-301:96  Type->Type
testdata/Builtins.lc 301:79-301:99  Type
testdata/Builtins.lc 301:97-301:99  Type
testdata/Builtins.lc 301:101-301:118  Type->Type
testdata/Builtins.lc 301:101-301:121  Type
testdata/Builtins.lc 301:119-301:121  Type
testdata/Builtins.lc 302:15-302:33  Type
testdata/Builtins.lc 302:15-302:148  Type->Type
testdata/Builtins.lc 302:15-303:39  Type
testdata/Builtins.lc 302:38-302:148  Type | Type -> Type -> Type -> Type -> Type->Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 302:39-302:56  Type->Type
testdata/Builtins.lc 302:39-302:59  Type
testdata/Builtins.lc 302:39-302:81  Type -> Type -> Type->Type
testdata/Builtins.lc 302:39-302:103  Type -> Type->Type
testdata/Builtins.lc 302:39-302:125  Type->Type
testdata/Builtins.lc 302:57-302:59  Type
testdata/Builtins.lc 302:61-302:78  Type->Type
testdata/Builtins.lc 302:61-302:81  Type
testdata/Builtins.lc 302:79-302:81  Type
testdata/Builtins.lc 302:83-302:100  Type->Type
testdata/Builtins.lc 302:83-302:103  Type
testdata/Builtins.lc 302:101-302:103  Type
testdata/Builtins.lc 302:105-302:122  Type->Type
testdata/Builtins.lc 302:105-302:125  Type
testdata/Builtins.lc 302:123-302:125  Type
testdata/Builtins.lc 302:127-302:144  Type->Type
testdata/Builtins.lc 302:127-302:147  Type
testdata/Builtins.lc 302:145-302:147  Type
testdata/Builtins.lc 303:18-303:39  Type
testdata/Builtins.lc 303:19-303:36  Type->Type
testdata/Builtins.lc 303:37-303:38  Type
testdata/Builtins.lc 305:6-305:12  Type | Type->Type
testdata/Builtins.lc 307:1-307:10  {a} -> {b} -> a->b -> Stream a -> Stream b
testdata/Builtins.lc 307:14-307:46  Type
testdata/Builtins.lc 307:15-307:16  V3
testdata/Builtins.lc 307:20-307:21  Type | V2
testdata/Builtins.lc 307:26-307:32  Type->Type
testdata/Builtins.lc 307:26-307:34  Type
testdata/Builtins.lc 307:26-307:46  Type
testdata/Builtins.lc 307:33-307:34  Type
testdata/Builtins.lc 307:38-307:44  Type->Type
testdata/Builtins.lc 307:38-307:46  Type
testdata/Builtins.lc 307:45-307:46  Type
testdata/Builtins.lc 308:1-308:16  {a} -> {b} -> (a -> Stream b) -> Stream a -> Stream b
testdata/Builtins.lc 308:20-308:59  Type
testdata/Builtins.lc 308:21-308:22  V3
testdata/Builtins.lc 308:26-308:32  Type->Type
testdata/Builtins.lc 308:26-308:34  Type
testdata/Builtins.lc 308:33-308:34  V2
testdata/Builtins.lc 308:39-308:45  Type->Type
testdata/Builtins.lc 308:39-308:47  Type
testdata/Builtins.lc 308:39-308:59  Type
testdata/Builtins.lc 308:46-308:47  Type
testdata/Builtins.lc 308:51-308:57  Type->Type
testdata/Builtins.lc 308:51-308:59  Type
testdata/Builtins.lc 308:58-308:59  Type
testdata/Builtins.lc 309:1-309:13  {a} -> a->Bool -> Stream a -> Stream a
testdata/Builtins.lc 309:17-309:52  Type
testdata/Builtins.lc 309:18-309:19  V1
testdata/Builtins.lc 309:23-309:27  Type
testdata/Builtins.lc 309:32-309:38  Type->Type
testdata/Builtins.lc 309:32-309:40  Type
testdata/Builtins.lc 309:32-309:52  Type
testdata/Builtins.lc 309:39-309:40  Type
testdata/Builtins.lc 309:44-309:50  Type->Type
testdata/Builtins.lc 309:44-309:52  Type
testdata/Builtins.lc 309:51-309:52  Type
testdata/Builtins.lc 311:6-311:15  Type | Type -> PrimitiveType->Type
testdata/Builtins.lc 311:6-314:56  Type
testdata/Builtins.lc 311:21-311:34  Type
testdata/Builtins.lc 311:21-311:42  Type
testdata/Builtins.lc 311:38-311:42  Type
testdata/Builtins.lc 312:5-312:14  Primitive V2 'Point | {a} -> a -> Primitive a 'Point
testdata/Builtins.lc 312:5-312:53  Type
testdata/Builtins.lc 312:21-312:22  Type
testdata/Builtins.lc 312:21-312:53  Type
testdata/Builtins.lc 312:36-312:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 312:36-312:47  PrimitiveType->Type
testdata/Builtins.lc 312:36-312:53  Type
testdata/Builtins.lc 312:46-312:47  Type
testdata/Builtins.lc 312:48-312:53  PrimitiveType
testdata/Builtins.lc 313:5-313:13  Primitive V4 'Line | {a} -> a -> a -> Primitive a 'Line
testdata/Builtins.lc 313:5-313:52  Type
testdata/Builtins.lc 313:21-313:22  Type
testdata/Builtins.lc 313:21-313:52  Type
testdata/Builtins.lc 313:26-313:27  Type
testdata/Builtins.lc 313:26-313:52  Type
testdata/Builtins.lc 313:36-313:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 313:36-313:47  PrimitiveType->Type
testdata/Builtins.lc 313:36-313:52  Type
testdata/Builtins.lc 313:46-313:47  Type
testdata/Builtins.lc 313:48-313:52  PrimitiveType
testdata/Builtins.lc 314:5-314:17  Primitive V6 'Triangle | {a} -> a -> a -> a -> Primitive a 'Triangle
testdata/Builtins.lc 314:5-314:56  Type
testdata/Builtins.lc 314:21-314:22  Type
testdata/Builtins.lc 314:21-314:56  Type
testdata/Builtins.lc 314:26-314:27  Type
testdata/Builtins.lc 314:26-314:56  Type
testdata/Builtins.lc 314:31-314:32  Type
testdata/Builtins.lc 314:31-314:56  Type
testdata/Builtins.lc 314:36-314:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 314:36-314:47  PrimitiveType->Type
testdata/Builtins.lc 314:36-314:56  Type
testdata/Builtins.lc 314:46-314:47  Type
testdata/Builtins.lc 314:48-314:56  PrimitiveType
testdata/Builtins.lc 316:6-316:21  PrimitiveType -> Type->Type
testdata/Builtins.lc 316:28-316:34  Type->Type
testdata/Builtins.lc 316:28-316:50  Type
testdata/Builtins.lc 316:35-316:50  Type
testdata/Builtins.lc 316:36-316:45  Type -> PrimitiveType->Type
testdata/Builtins.lc 316:36-316:47  PrimitiveType->Type
testdata/Builtins.lc 316:46-316:47  V1
testdata/Builtins.lc 316:48-316:49  V2
testdata/Builtins.lc 318:1-318:13  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 318:17-318:59  Type
testdata/Builtins.lc 318:18-318:19  V5
testdata/Builtins.lc 318:23-318:24  Type | V4
testdata/Builtins.lc 318:29-318:38  Type -> PrimitiveType->Type
testdata/Builtins.lc 318:29-318:40  PrimitiveType->Type
testdata/Builtins.lc 318:29-318:42  Type
testdata/Builtins.lc 318:29-318:59  Type
testdata/Builtins.lc 318:39-318:40  Type
testdata/Builtins.lc 318:41-318:42  V2
testdata/Builtins.lc 318:46-318:55  Type -> PrimitiveType->Type
testdata/Builtins.lc 318:46-318:57  PrimitiveType->Type
testdata/Builtins.lc 318:46-318:59  Type
testdata/Builtins.lc 318:56-318:57  Type
testdata/Builtins.lc 318:58-318:59  PrimitiveType
testdata/Builtins.lc 325:1-325:7  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> Stream (Primitive b a)
testdata/Builtins.lc 325:38-325:56  Type
testdata/Builtins.lc 325:38-325:94  Type
testdata/Builtins.lc 325:39-325:53  Type->Type
testdata/Builtins.lc 325:54-325:55  V1
testdata/Builtins.lc 325:60-325:66  Type
testdata/Builtins.lc 325:60-325:94  Type
testdata/Builtins.lc 325:70-325:71  Type
testdata/Builtins.lc 325:70-325:94  Type
testdata/Builtins.lc 325:75-325:90  PrimitiveType -> Type->Type
testdata/Builtins.lc 325:75-325:92  Type->Type
testdata/Builtins.lc 325:75-325:94  Type
testdata/Builtins.lc 325:91-325:92  V5
testdata/Builtins.lc 325:93-325:94  Type
testdata/Builtins.lc 326:1-326:13  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> Stream (Primitive b a)
testdata/Builtins.lc 326:41-326:104  Type
testdata/Builtins.lc 326:42-326:56  Type->Type
testdata/Builtins.lc 326:42-326:58  Type
testdata/Builtins.lc 326:57-326:58  V3
testdata/Builtins.lc 326:60-326:61  Type
testdata/Builtins.lc 326:60-326:63  Type->Type
testdata/Builtins.lc 326:60-326:74  Type
testdata/Builtins.lc 326:60-326:104  Type
testdata/Builtins.lc 326:62-326:63  Type -> Type->Type
testdata/Builtins.lc 326:64-326:71  Type->Type
testdata/Builtins.lc 326:64-326:74  Type
testdata/Builtins.lc 326:72-326:74  V2
testdata/Builtins.lc 326:79-326:81  Type
testdata/Builtins.lc 326:79-326:104  Type
testdata/Builtins.lc 326:85-326:100  PrimitiveType -> Type->Type
testdata/Builtins.lc 326:85-326:102  Type->Type
testdata/Builtins.lc 326:85-326:104  Type
testdata/Builtins.lc 326:101-326:102  V6
testdata/Builtins.lc 326:103-326:104  Type
testdata/Builtins.lc 328:18-328:74  Type
testdata/Builtins.lc 328:19-328:21  V5
testdata/Builtins.lc 328:25-328:26  Type | V4
testdata/Builtins.lc 328:31-328:46  PrimitiveType -> Type->Type
testdata/Builtins.lc 328:31-328:48  Type->Type
testdata/Builtins.lc 328:31-328:51  Type
testdata/Builtins.lc 328:31-328:74  Type
testdata/Builtins.lc 328:47-328:48  V2
testdata/Builtins.lc 328:49-328:51  Type
testdata/Builtins.lc 328:55-328:70  PrimitiveType -> Type->Type
testdata/Builtins.lc 328:55-328:72  Type->Type
testdata/Builtins.lc 328:55-328:74  Type
testdata/Builtins.lc 328:71-328:72  PrimitiveType
testdata/Builtins.lc 328:73-328:74  Type
testdata/Builtins.lc 329:1-329:14  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Stream (Primitive a c) -> Stream (Primitive b c)
testdata/Builtins.lc 329:19-329:28  {a} -> {b} -> a->b -> Stream a -> Stream b
testdata/Builtins.lc 329:19-329:45  Stream (Primitive V4 V0) -> Stream (Primitive V4 V1) | V2->V2 -> Stream (Primitive V3 V1) -> Stream (Primitive V3 V2)
testdata/Builtins.lc 329:29-329:45  Primitive V6 V0 -> Primitive V6 V1
testdata/Builtins.lc 329:30-329:42  {a} -> {b} -> {c:PrimitiveType} -> a->b -> Primitive a c -> Primitive b c
testdata/Builtins.lc 329:43-329:44  V8->V8
testdata/Builtins.lc 331:1-331:6  {a} -> String -> c:PrimitiveType -> a -> Stream (Primitive a c)
testdata/Builtins.lc 331:15-331:21  {a:PrimitiveType} -> {b} -> {c:Unit} -> String -> b -> Stream (Primitive b a)
testdata/Builtins.lc 331:15-331:24  {a} -> {b:Unit} -> String -> a -> Stream (Primitive a V6)
testdata/Builtins.lc 331:15-331:26  V0 -> Stream (Primitive V1 V4)
testdata/Builtins.lc 331:15-331:28  Stream (Primitive V1 V2)
testdata/Builtins.lc 331:23-331:24  V3
testdata/Builtins.lc 331:25-331:26  V5
testdata/Builtins.lc 331:27-331:28  V2
testdata/Builtins.lc 332:1-332:12  {a} -> b:PrimitiveType -> a -> Stream (Primitive (FTRepr' a) b)
testdata/Builtins.lc 332:19-332:31  {a:PrimitiveType} -> {b} -> {c} -> {d:Unit} -> {e : b ~ FTRepr' c} -> c -> Stream (Primitive b a)
testdata/Builtins.lc 332:19-332:34  {a} -> {b} -> {c:Unit} -> {d : a ~ FTRepr' b} -> b -> Stream (Primitive a V7)
testdata/Builtins.lc 332:19-332:36  Stream (Primitive (FTRepr' V1) V2)
testdata/Builtins.lc 332:33-332:34  V3
testdata/Builtins.lc 332:35-332:36  V2
testdata/Builtins.lc 335:5-335:17  Type->Type
testdata/Builtins.lc 335:23-335:25  Type
testdata/Builtins.lc 335:23-345:82  Type | Type->Type
testdata/Builtins.lc 336:25-336:26  Type
testdata/Builtins.lc 336:25-336:31  Type->Type
testdata/Builtins.lc 336:25-345:82  Type
testdata/Builtins.lc 336:30-336:31  Type | Type->Type
testdata/Builtins.lc 337:19-337:35  Type
testdata/Builtins.lc 337:19-342:44  Type->Type
testdata/Builtins.lc 337:19-345:82  Type
testdata/Builtins.lc 337:39-337:45  Type | Type->Type
testdata/Builtins.lc 337:39-342:44  Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 337:40-337:41  Type
testdata/Builtins.lc 337:43-337:44  Type
testdata/Builtins.lc 338:19-338:44  Type
testdata/Builtins.lc 338:19-343:58  Type->Type
testdata/Builtins.lc 338:19-345:82  Type
testdata/Builtins.lc 338:48-338:57  Type | Type->Type
testdata/Builtins.lc 338:48-343:58  Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 338:49-338:50  Type
testdata/Builtins.lc 338:49-338:53  Type->Type
testdata/Builtins.lc 338:52-338:53  Type
testdata/Builtins.lc 338:55-338:56  Type
testdata/Builtins.lc 339:19-339:53  Type
testdata/Builtins.lc 339:19-344:70  Type->Type
testdata/Builtins.lc 339:19-345:82  Type
testdata/Builtins.lc 339:57-339:69  Type | Type->Type
testdata/Builtins.lc 339:57-344:70  Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 339:58-339:59  Type
testdata/Builtins.lc 339:58-339:62  Type -> Type->Type
testdata/Builtins.lc 339:58-339:65  Type->Type
testdata/Builtins.lc 339:61-339:62  Type
testdata/Builtins.lc 339:64-339:65  Type
testdata/Builtins.lc 339:67-339:68  Type
testdata/Builtins.lc 340:19-340:62  Type
testdata/Builtins.lc 340:19-345:82  Type->Type
testdata/Builtins.lc 340:66-340:81  Type | Type->Type
testdata/Builtins.lc 340:66-345:82  Type | Type -> Type -> Type -> Type -> Type->Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 340:67-340:68  Type
testdata/Builtins.lc 340:67-340:71  Type -> Type -> Type->Type
testdata/Builtins.lc 340:67-340:74  Type -> Type->Type
testdata/Builtins.lc 340:67-340:77  Type->Type
testdata/Builtins.lc 340:70-340:71  Type
testdata/Builtins.lc 340:73-340:74  Type
testdata/Builtins.lc 340:76-340:77  Type
testdata/Builtins.lc 340:79-340:80  Type
testdata/Builtins.lc 341:25-341:30  Type
testdata/Builtins.lc 341:25-341:36  Type->Type
testdata/Builtins.lc 341:34-341:36  Type | Type->Type
testdata/Builtins.lc 342:43-342:44  Type | Type->Type
testdata/Builtins.lc 343:52-343:58  Type | Type->Type
testdata/Builtins.lc 343:53-343:54  Type
testdata/Builtins.lc 343:56-343:57  Type
testdata/Builtins.lc 344:61-344:70  Type | Type->Type
testdata/Builtins.lc 344:62-344:63  Type
testdata/Builtins.lc 344:62-344:66  Type->Type
testdata/Builtins.lc 344:65-344:66  Type
testdata/Builtins.lc 344:68-344:69  Type
testdata/Builtins.lc 345:70-345:82  Type | Type->Type
testdata/Builtins.lc 345:71-345:72  Type
testdata/Builtins.lc 345:71-345:75  Type -> Type->Type
testdata/Builtins.lc 345:71-345:78  Type->Type
testdata/Builtins.lc 345:74-345:75  Type
testdata/Builtins.lc 345:77-345:78  Type
testdata/Builtins.lc 345:80-345:81  Type
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 | V2->V2 | V3 | VecS Float 3 | VecS Float 3 -> V2->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:27-363:33  Type->Type
testdata/Builtins.lc 363:27-363:48  Type
testdata/Builtins.lc 363:34-363:48  Type
testdata/Builtins.lc 363:35-363:43  Nat -> Type->Type
testdata/Builtins.lc 363:35-363:45  Type->Type
testdata/Builtins.lc 363:44-363:45  V3
testdata/Builtins.lc 363:46-363:47  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 -> Stream (Vector b (Maybe (SimpleFragment a))) -> Stream (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 368:21-368:30  {a} -> {b} -> a->b -> Stream a -> Stream b
testdata/Builtins.lc 368:21-368:49  Stream (Vector V0 (Maybe (SimpleFragment V3))) -> Stream (Vector V1 (Maybe (SimpleFragment V4))) | V1->Float -> Stream (Vector V1 (Maybe (SimpleFragment V2))) -> Stream (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 368:31-368:49  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 368:32-368:46  {a} -> {b:Nat} -> a->Float -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 368:47-368:48  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 -> Stream (Vector b (Maybe (SimpleFragment a))) -> Stream (Vector b (Maybe (SimpleFragment a)))
testdata/Builtins.lc 373:21-373:30  {a} -> {b} -> a->b -> Stream a -> Stream b
testdata/Builtins.lc 373:21-373:49  Stream (Vector V0 (Maybe (SimpleFragment V3))) -> Stream (Vector V1 (Maybe (SimpleFragment V4))) | V1->Bool -> Stream (Vector V1 (Maybe (SimpleFragment V2))) -> Stream (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 373:31-373:49  Vector V0 (Maybe (SimpleFragment V5)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 373:32-373:46  {a} -> {b:Nat} -> a->Bool -> Vector b (Maybe (SimpleFragment a)) -> Vector b (Maybe (SimpleFragment a))
testdata/Builtins.lc 373:47-373:48  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 -> Stream (Vector c (Maybe (SimpleFragment a))) -> Stream (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 378:18-378:27  {a} -> {b} -> a->b -> Stream a -> Stream b
testdata/Builtins.lc 378:18-378:43  Stream (Vector V0 (Maybe (SimpleFragment V4))) -> Stream (Vector V1 (Maybe (SimpleFragment V4))) | V2->V2 -> Stream (Vector V1 (Maybe (SimpleFragment V3))) -> Stream (Vector V2 (Maybe (SimpleFragment V3)))
testdata/Builtins.lc 378:28-378:43  Vector V0 (Maybe (SimpleFragment V6)) -> Vector V1 (Maybe (SimpleFragment V6))
testdata/Builtins.lc 378:29-378:40  {a} -> {b} -> {c:Nat} -> a->b -> Vector c (Maybe (SimpleFragment a)) -> Vector c (Maybe (SimpleFragment b))
testdata/Builtins.lc 378:41-378:42  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:10  {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> b -> RasterContext c d -> Primitive c d -> Stream (Vector 1 (Maybe (SimpleFragment a)))
testdata/Builtins.lc 393:8-398:26  Type
testdata/Builtins.lc 393:10-393:11  V7
testdata/Builtins.lc 393:10-393:13  Type->Type
testdata/Builtins.lc 393:10-393:44  Type
testdata/Builtins.lc 393:12-393:13  Type -> Type->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  V4
testdata/Builtins.lc 394:10-394:13  Type->Type
testdata/Builtins.lc 394:10-394:43  Type
testdata/Builtins.lc 394:10-398:26  Type
testdata/Builtins.lc 394:12-394:13  Type -> Type->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 -> Stream (Primitive (JoinTupleType (VecS Float 4) (InterpolatedType a)) b) -> Stream (Vector 1 (Maybe (SimpleFragment (InterpolatedType a))))
testdata/Builtins.lc 400:30-400:45  {a} -> {b} -> (a -> Stream b) -> Stream a -> Stream b
testdata/Builtins.lc 400:30-400:64  Stream (Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V2)) V0) -> Stream (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3))))
testdata/Builtins.lc 400:46-400:64  Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V2)) V0 -> Stream (Vector 1 (Maybe (SimpleFragment (InterpolatedType V3))))
testdata/Builtins.lc 400:47-400:56  {a} -> {b} -> {c} -> {d:PrimitiveType} -> {e : a ~ InterpolatedType b} -> {f : c ~ JoinTupleType (VecS Float 4) a} -> b -> RasterContext c d -> Primitive c d -> Stream (Vector 1 (Maybe (SimpleFragment a)))
testdata/Builtins.lc 400:47-400:59  RasterContext (JoinTupleType (VecS Float 4) (InterpolatedType V4)) V0 -> Primitive (JoinTupleType (VecS Float 4) (InterpolatedType V5)) V1 -> Stream (Vector 1 (Maybe (SimpleFragment (InterpolatedType V6))))
testdata/Builtins.lc 400:57-400:59  V5
testdata/Builtins.lc 400:60-400:63  V4
testdata/Builtins.lc 403:6-403:11  Nat -> Type->Type | Type
testdata/Builtins.lc 403:6-407:68  Type
testdata/Builtins.lc 403:15-403:18  Type
testdata/Builtins.lc 403:22-403:26  Type
testdata/Builtins.lc 403:22-403:34  Type
testdata/Builtins.lc 403:30-403:34  Type
testdata/Builtins.lc 404:3-404:13  Image V6 (Color V3) | {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a (Color d)
testdata/Builtins.lc 404:3-405:57  Type
testdata/Builtins.lc 404:47-405:57  Type
testdata/Builtins.lc 404:48-404:51  Type->Type
testdata/Builtins.lc 404:48-404:53  Type
testdata/Builtins.lc 404:52-404:53  V3
testdata/Builtins.lc 404:55-404:60  V2
testdata/Builtins.lc 404:55-404:62  Type->Type
testdata/Builtins.lc 404:55-404:76  Type
testdata/Builtins.lc 404:55-405:57  Type
testdata/Builtins.lc 404:61-404:62  Type -> Type->Type
testdata/Builtins.lc 404:63-404:72  Nat -> Type->Type
testdata/Builtins.lc 404:63-404:74  Type->Type
testdata/Builtins.lc 404:63-404:76  Type
testdata/Builtins.lc 404:73-404:74  V4
testdata/Builtins.lc 404:75-404:76  Type
testdata/Builtins.lc 405:26-405:31  Type
testdata/Builtins.lc 405:26-405:57  Type
testdata/Builtins.lc 405:36-405:41  Nat -> Type->Type
testdata/Builtins.lc 405:36-405:43  Type->Type
testdata/Builtins.lc 405:36-405:57  Type
testdata/Builtins.lc 405:42-405:43  Nat | V7
testdata/Builtins.lc 405:42-405:57  Image V6 (Color V3) -> Type
testdata/Builtins.lc 405:44-405:57  Type
testdata/Builtins.lc 405:45-405:50  Type->Type
testdata/Builtins.lc 405:51-405:56  Type
testdata/Builtins.lc 406:3-406:13  Image V1 (Depth Float) | {a:Nat} -> Float -> Image a (Depth Float)
testdata/Builtins.lc 406:3-406:68  Type
testdata/Builtins.lc 406:37-406:42  Type
testdata/Builtins.lc 406:37-406:68  Type
testdata/Builtins.lc 406:47-406:52  Nat -> Type->Type
testdata/Builtins.lc 406:47-406:54  Type->Type
testdata/Builtins.lc 406:47-406:68  Type
testdata/Builtins.lc 406:53-406:54  Nat | V2
testdata/Builtins.lc 406:53-406:68  Image V1 (Depth Float) -> Type
testdata/Builtins.lc 406:55-406:68  Type
testdata/Builtins.lc 406:56-406:61  Type->Type
testdata/Builtins.lc 406:62-406:67  Type
testdata/Builtins.lc 407:3-407:15  Image V1 (Stencil Int) | {a:Nat} -> Int -> Image a (Stencil Int)
testdata/Builtins.lc 407:3-407:68  Type
testdata/Builtins.lc 407:37-407:40  Type
testdata/Builtins.lc 407:37-407:68  Type
testdata/Builtins.lc 407:47-407:52  Nat -> Type->Type
testdata/Builtins.lc 407:47-407:54  Type->Type
testdata/Builtins.lc 407:47-407:68  Type
testdata/Builtins.lc 407:53-407:54  Nat | V2
testdata/Builtins.lc 407:53-407:68  Image V1 (Stencil Int) -> Type
testdata/Builtins.lc 407:55-407:68  Type
testdata/Builtins.lc 407:56-407:63  Type->Type
testdata/Builtins.lc 407:64-407:67  Type
testdata/Builtins.lc 410:6-410:20  Nat -> Type->Type | Type
testdata/Builtins.lc 410:27-410:30  Type
testdata/Builtins.lc 413:5-413:18  Type->Type
testdata/Builtins.lc 413:26-413:31  Type
testdata/Builtins.lc 413:26-413:55  Type->Type
testdata/Builtins.lc 413:26-415:91  Type | Type->Type
testdata/Builtins.lc 413:35-413:49  Nat -> Type->Type
testdata/Builtins.lc 413:35-413:52  Type->Type
testdata/Builtins.lc 413:35-413:55  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 413:50-413:52  Nat
testdata/Builtins.lc 413:53-413:55  Type
testdata/Builtins.lc 414:20-414:44  Type
testdata/Builtins.lc 414:20-414:74  Type->Type
testdata/Builtins.lc 414:20-415:91  Type
testdata/Builtins.lc 414:48-414:62  Nat -> Type->Type
testdata/Builtins.lc 414:48-414:65  Type->Type
testdata/Builtins.lc 414:48-414:74  Nat -> Type->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 414:63-414:65  Nat
testdata/Builtins.lc 414:66-414:74  Type
testdata/Builtins.lc 414:67-414:69  Type
testdata/Builtins.lc 414:71-414:73  Type
testdata/Builtins.lc 415:20-415:57  Type
testdata/Builtins.lc 415:20-415:91  Type->Type
testdata/Builtins.lc 415:61-415:75  Nat -> Type->Type
testdata/Builtins.lc 415:61-415:78  Type->Type
testdata/Builtins.lc 415:61-415:91  Nat -> Type->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 415:76-415:78  Nat
testdata/Builtins.lc 415:79-415:91  Type
testdata/Builtins.lc 415:80-415:82  Type
testdata/Builtins.lc 415:80-415:86  Type->Type
testdata/Builtins.lc 415:84-415:86  Type
testdata/Builtins.lc 415:88-415:90  Type
testdata/Builtins.lc 418:5-418:20  Type->Type
testdata/Builtins.lc 418:28-418:33  Type
testdata/Builtins.lc 418:28-418:41  Type->Type
testdata/Builtins.lc 418:28-420:99  Type | Type->Type
testdata/Builtins.lc 418:37-418:41  Nat -> Type->Type | Type | Type->Type
testdata/Builtins.lc 419:22-419:46  Type
testdata/Builtins.lc 419:22-419:64  Type->Type
testdata/Builtins.lc 419:22-420:99  Type
testdata/Builtins.lc 419:50-419:54  a:Type -> a -> a->Type
testdata/Builtins.lc 419:50-419:58  Nat -> Nat->Type
testdata/Builtins.lc 419:50-419:61  Nat->Type
testdata/Builtins.lc 419:50-419:64  Nat -> Type->Type | Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 419:55-419:58  Type
testdata/Builtins.lc 419:59-419:61  Nat
testdata/Builtins.lc 419:62-419:64  Nat
testdata/Builtins.lc 420:22-420:59  Type
testdata/Builtins.lc 420:22-420:99  Type->Type
testdata/Builtins.lc 420:63-420:65  Type -> Type->Type
testdata/Builtins.lc 420:63-420:82  Type->Type
testdata/Builtins.lc 420:63-420:99  Nat -> Type->Type | Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
testdata/Builtins.lc 420:66-420:82  Type
testdata/Builtins.lc 420:67-420:71  a:Type -> a -> a->Type
testdata/Builtins.lc 420:67-420:75  Nat -> Nat->Type
testdata/Builtins.lc 420:67-420:78  Nat->Type
testdata/Builtins.lc 420:72-420:75  Type
testdata/Builtins.lc 420:76-420:78  Nat
testdata/Builtins.lc 420:79-420:81  Nat
testdata/Builtins.lc 420:83-420:99  Type
testdata/Builtins.lc 420:84-420:88  a:Type -> a -> a->Type
testdata/Builtins.lc 420:84-420:92  Nat -> Nat->Type
testdata/Builtins.lc 420:84-420:95  Nat->Type
testdata/Builtins.lc 420:89-420:92  Type
testdata/Builtins.lc 420:93-420:95  Nat
testdata/Builtins.lc 420:96-420:98  Nat
testdata/Builtins.lc 422:7-422:20  Type->Type
testdata/Builtins.lc 422:7-422:65  Type
testdata/Builtins.lc 422:29-422:42  {a} -> {b} -> {c : DefaultFragOp b} -> FragmentOperation b
testdata/Builtins.lc 422:46-422:63  Type->Type
testdata/Builtins.lc 422:46-422:65  Type
testdata/Builtins.lc 422:64-422:65  Type
testdata/Builtins.lc 423:37-423:42  Type
testdata/Builtins.lc 423:37-423:112  ({a : DefaultFragOp V1} -> FragmentOperation V2) -> {c : DefaultFragOp V2} -> FragmentOperation V3
testdata/Builtins.lc 423:37-424:36  Type | Type->Type
testdata/Builtins.lc 423:37-424:77  {a : DefaultFragOp V1} -> FragmentOperation V2 | {a} -> {b : DefaultFragOp a} -> FragmentOperation a
testdata/Builtins.lc 423:69-423:76  {a} -> {b:Nat} -> {c} -> {d} -> {e : a ~ VecScalar b Bool} -> {f : c ~ VecScalar b d} -> {g : Num d} -> Blending d -> a -> FragmentOperation (Color c)
testdata/Builtins.lc 423:69-423:87  VecScalar V2 Bool -> FragmentOperation (Color (VecScalar V3 V2))
testdata/Builtins.lc 423:69-423:112  FragmentOperation (Color (VecS V1 4)) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ ('Succ ('Succ a))))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ ('Succ ('Succ a)))))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ ('Succ a)))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ ('Succ a))))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ ('Succ a))))} -> FragmentOperation (Color (VecS Float ('Succ ('Succ a)))) | a:Nat -> {b : DefaultFragOp (Color (VecS Float ('Succ a)))} -> FragmentOperation (Color (VecS Float ('Succ a))) | a:Nat -> {b : DefaultFragOp (Color (VecS V1 a))} -> FragmentOperation (Color (VecS V2 a)) | a:Type -> b:Nat -> {c : DefaultFragOp (Color (VecS a b))} -> FragmentOperation (Color (VecS a b)) | a:Type -> {b : DefaultFragOp (Color a)} -> FragmentOperation (Color a)
testdata/Builtins.lc 423:77-423:87  {a} -> Blending a
testdata/Builtins.lc 423:88-423:112  VecS Bool 4
testdata/Builtins.lc 423:89-423:91  {a} -> a -> a -> a -> a -> VecS a 4
testdata/Builtins.lc 423:89-423:96  Bool -> Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 423:89-423:101  Bool -> Bool -> VecS Bool 4
testdata/Builtins.lc 423:89-423:106  Bool -> VecS Bool 4
testdata/Builtins.lc 423:92-423:96  Bool
testdata/Builtins.lc 423:97-423:101  Bool
testdata/Builtins.lc 423:102-423:106  Bool
testdata/Builtins.lc 423:107-423:111  Bool
testdata/Builtins.lc 424:31-424:36  Type
testdata/Builtins.lc 424:31-424:77  ({a : DefaultFragOp V1} -> FragmentOperation V2) -> {c : DefaultFragOp V2} -> FragmentOperation V3
testdata/Builtins.lc 424:60-424:67  ComparisonFunction -> Bool -> FragmentOperation (Depth Float)
testdata/Builtins.lc 424:60-424:72  Bool -> FragmentOperation (Depth Float)
testdata/Builtins.lc 424:60-424:77  FragmentOperation (Depth Float) | a:Type -> {b : DefaultFragOp (Depth a)} -> FragmentOperation (Depth a)
testdata/Builtins.lc 424:68-424:72  ComparisonFunction
testdata/Builtins.lc 424:73-424:77  Bool
testdata/Builtins.lc 431:6-431:17  Nat -> Type->Type | Type
testdata/Builtins.lc 431:6-433:14  Type
testdata/Builtins.lc 431:24-431:27  Type
testdata/Builtins.lc 432:3-432:13  FrameBuffer V5 V4 | Type | {a:Nat} -> {b} -> FragOps' b -> Stream (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 432:19-432:27  Type->Type
testdata/Builtins.lc 432:19-432:29  Type
testdata/Builtins.lc 432:19-432:106  Type
testdata/Builtins.lc 432:28-432:29  Type
testdata/Builtins.lc 432:33-432:68  Type
testdata/Builtins.lc 432:33-432:106  Type
testdata/Builtins.lc 432:34-432:48  Nat -> Type->Type
testdata/Builtins.lc 432:34-432:50  Type->Type
testdata/Builtins.lc 432:49-432:50  Nat
testdata/Builtins.lc 432:51-432:67  Type
testdata/Builtins.lc 432:52-432:64  Type->Type
testdata/Builtins.lc 432:65-432:66  Type
testdata/Builtins.lc 432:72-432:83  Nat -> Type->Type
testdata/Builtins.lc 432:72-432:85  Type->Type
testdata/Builtins.lc 432:72-432:87  Type
testdata/Builtins.lc 432:72-432:106  Type
testdata/Builtins.lc 432:84-432:85  Nat
testdata/Builtins.lc 432:86-432:87  Type
testdata/Builtins.lc 432:91-432:102  Nat -> Type->Type
testdata/Builtins.lc 432:91-432:104  Type->Type
testdata/Builtins.lc 432:91-432:106  Type
testdata/Builtins.lc 432:103-432:104  Nat
testdata/Builtins.lc 432:105-432:106  Type
testdata/Builtins.lc 433:3-433:14  FrameBuffer V7 V6 | Type | {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 433:19-433:120  Type
testdata/Builtins.lc 433:20-433:36  Type->Type
testdata/Builtins.lc 433:20-433:38  Type
testdata/Builtins.lc 433:37-433:38  Type
testdata/Builtins.lc 433:40-433:55  Type->Type
testdata/Builtins.lc 433:40-433:57  Type
testdata/Builtins.lc 433:40-433:120  Type
testdata/Builtins.lc 433:56-433:57  V2
testdata/Builtins.lc 433:59-433:73  Nat -> Type->Type
testdata/Builtins.lc 433:59-433:75  Type->Type
testdata/Builtins.lc 433:59-433:77  Type
testdata/Builtins.lc 433:59-433:79  Type->Type
testdata/Builtins.lc 433:59-433:95  Type
testdata/Builtins.lc 433:59-433:120  Type
testdata/Builtins.lc 433:74-433:75  Nat
testdata/Builtins.lc 433:76-433:77  Type
testdata/Builtins.lc 433:78-433:79  Type -> Type->Type
testdata/Builtins.lc 433:80-433:93  Type->Type
testdata/Builtins.lc 433:80-433:95  Type
testdata/Builtins.lc 433:94-433:95  Type
testdata/Builtins.lc 433:100-433:101  Type
testdata/Builtins.lc 433:100-433:120  Type
testdata/Builtins.lc 433:105-433:116  Nat -> Type->Type
testdata/Builtins.lc 433:105-433:118  Type->Type
testdata/Builtins.lc 433:105-433:120  Type
testdata/Builtins.lc 433:117-433:118  Nat
testdata/Builtins.lc 433:119-433:120  Type
testdata/Builtins.lc 435:1-435:11  {a:Nat} -> {b} -> {c} -> FragOps' b -> (c -> RemSemantics b) -> Stream (Vector a (Maybe (SimpleFragment c))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 435:34-435:44  {a:Nat} -> {b} -> FragOps' b -> Stream (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 435:34-435:48  Stream (Vector V1 (Maybe (SimpleFragment (RemSemantics V0)))) -> FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 435:34-435:76  FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 435:34-435:79  FrameBuffer V2 V1
testdata/Builtins.lc 435:45-435:48  V9
testdata/Builtins.lc 435:49-435:76  Stream (Vector V2 (Maybe (SimpleFragment (RemSemantics V1))))
testdata/Builtins.lc 435:50-435:62  {a} -> {b} -> {c:Nat} -> a->b -> Stream (Vector c (Maybe (SimpleFragment a))) -> Stream (Vector c (Maybe (SimpleFragment b)))
testdata/Builtins.lc 435:50-435:70  Stream (Vector V0 (Maybe (SimpleFragment V2))) -> Stream (Vector V1 (Maybe (SimpleFragment V2)))
testdata/Builtins.lc 435:63-435:70  V10
testdata/Builtins.lc 435:71-435:75  V6
testdata/Builtins.lc 435:77-435:79  V4
testdata/Builtins.lc 437:1-437:20  {a} -> a->a
testdata/Builtins.lc 437:25-437:26  V1
testdata/Builtins.lc 440:1-440:9  {a} -> FrameBuffer 1 a -> Image 1 a
testdata/Builtins.lc 440:24-440:35  Nat -> Type->Type
testdata/Builtins.lc 440:24-440:37  Type->Type
testdata/Builtins.lc 440:24-440:39  Type
testdata/Builtins.lc 440:24-440:52  Type
testdata/Builtins.lc 440:36-440:37  V1
testdata/Builtins.lc 440:38-440:39  V1
testdata/Builtins.lc 440:43-440:48  Nat -> Type->Type
testdata/Builtins.lc 440:43-440:50  Type->Type
testdata/Builtins.lc 440:43-440:52  Type
testdata/Builtins.lc 440:49-440:50  V1
testdata/Builtins.lc 440:51-440:52  Type
testdata/Builtins.lc 441:1-441:14  FrameBuffer 1 (Tuple2 (Depth Float) (Color (VecS Float 4))) -> Image 1 (Color (VecS Float 4))
testdata/Builtins.lc 441:24-441:35  Nat -> Type->Type
testdata/Builtins.lc 441:24-441:37  Type->Type
testdata/Builtins.lc 441:24-441:72  Type
testdata/Builtins.lc 441:36-441:37  V1
testdata/Builtins.lc 441:38-441:72  Type
testdata/Builtins.lc 441:39-441:44  Type->Type
testdata/Builtins.lc 441:39-441:50  Type
testdata/Builtins.lc 441:45-441:50  Type
testdata/Builtins.lc 441:52-441:57  Type->Type
testdata/Builtins.lc 441:52-441:71  Type
testdata/Builtins.lc 441:58-441:71  Type
testdata/Builtins.lc 441:59-441:62  Nat -> Type->Type
testdata/Builtins.lc 441:59-441:64  Type->Type
testdata/Builtins.lc 441:63-441:64  V1
testdata/Builtins.lc 441:65-441:70  Type
testdata/Builtins.lc 441:76-441:81  Nat -> Type->Type
testdata/Builtins.lc 441:76-441:83  Type->Type
testdata/Builtins.lc 441:76-441:105  Type
testdata/Builtins.lc 441:82-441:83  V1
testdata/Builtins.lc 441:84-441:105  Type
testdata/Builtins.lc 441:85-441:90  Type->Type
testdata/Builtins.lc 441:91-441:104  Type
testdata/Builtins.lc 441:92-441:95  Nat -> Type->Type
testdata/Builtins.lc 441:92-441:97  Type->Type
testdata/Builtins.lc 441:96-441:97  V1
testdata/Builtins.lc 441:98-441:103  Type
testdata/Builtins.lc 443:6-443:12  Type
testdata/Builtins.lc 443:6-444:12  Type
testdata/Builtins.lc 444:3-444:12  Output | Type | {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 444:26-444:37  Nat -> Type->Type
testdata/Builtins.lc 444:26-444:39  Type->Type
testdata/Builtins.lc 444:26-444:41  Type
testdata/Builtins.lc 444:26-444:51  Type
testdata/Builtins.lc 444:38-444:39  V3
testdata/Builtins.lc 444:40-444:41  V1
testdata/Builtins.lc 444:45-444:51  Type
testdata/Builtins.lc 450:1-450:8  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 450:10-450:17  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 450:19-450:26  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/Builtins.lc 450:34-450:37  Type->Type
testdata/Builtins.lc 450:34-450:58  Type
testdata/Builtins.lc 450:34-450:73  Type
testdata/Builtins.lc 450:38-450:58  Type
testdata/Builtins.lc 450:39-450:55  Type->Type
testdata/Builtins.lc 450:56-450:57  V1
testdata/Builtins.lc 450:62-450:63  Type
testdata/Builtins.lc 450:62-450:73  Type
testdata/Builtins.lc 450:67-450:68  Type
testdata/Builtins.lc 450:67-450:73  Type
testdata/Builtins.lc 450:72-450:73  Type
testdata/Builtins.lc 451:1-451:9  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 451:11-451:19  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 451:21-451:29  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> {d : Num a} -> b -> a->b
testdata/Builtins.lc 451:34-451:80  Type
testdata/Builtins.lc 451:35-451:36  V3
testdata/Builtins.lc 451:35-451:38  Type->Type
testdata/Builtins.lc 451:35-451:57  Type
testdata/Builtins.lc 451:37-451:38  Type -> Type->Type
testdata/Builtins.lc 451:39-451:55  Type->Type
testdata/Builtins.lc 451:39-451:57  Type
testdata/Builtins.lc 451:56-451:57  V1
testdata/Builtins.lc 451:59-451:62  Type->Type
testdata/Builtins.lc 451:59-451:64  Type
testdata/Builtins.lc 451:59-451:80  Type
testdata/Builtins.lc 451:63-451:64  Type
testdata/Builtins.lc 451:69-451:70  Type
testdata/Builtins.lc 451:69-451:80  Type
testdata/Builtins.lc 451:74-451:75  Type
testdata/Builtins.lc 451:74-451:80  Type
testdata/Builtins.lc 451:79-451:80  Type
testdata/Builtins.lc 452:1-452:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 452:10-452:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 452:34-452:75  Type
testdata/Builtins.lc 452:35-452:38  Type->Type
testdata/Builtins.lc 452:35-452:40  Type
testdata/Builtins.lc 452:39-452:40  V5
testdata/Builtins.lc 452:42-452:43  V4
testdata/Builtins.lc 452:42-452:45  Type->Type
testdata/Builtins.lc 452:42-452:59  Type
testdata/Builtins.lc 452:42-452:75  Type
testdata/Builtins.lc 452:44-452:45  Type -> Type->Type
testdata/Builtins.lc 452:46-452:55  Nat -> Type->Type
testdata/Builtins.lc 452:46-452:57  Type->Type
testdata/Builtins.lc 452:46-452:59  Type
testdata/Builtins.lc 452:56-452:57  V2
testdata/Builtins.lc 452:58-452:59  Type
testdata/Builtins.lc 452:64-452:65  Type
testdata/Builtins.lc 452:64-452:75  Type
testdata/Builtins.lc 452:69-452:70  Type
testdata/Builtins.lc 452:69-452:75  Type
testdata/Builtins.lc 452:74-452:75  Type
testdata/Builtins.lc 453:1-453:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 453:11-453:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 453:34-453:75  Type
testdata/Builtins.lc 453:35-453:38  Type->Type
testdata/Builtins.lc 453:35-453:40  Type
testdata/Builtins.lc 453:39-453:40  V5
testdata/Builtins.lc 453:42-453:43  V4
testdata/Builtins.lc 453:42-453:45  Type->Type
testdata/Builtins.lc 453:42-453:59  Type
testdata/Builtins.lc 453:42-453:75  Type
testdata/Builtins.lc 453:44-453:45  Type -> Type->Type
testdata/Builtins.lc 453:46-453:55  Nat -> Type->Type
testdata/Builtins.lc 453:46-453:57  Type->Type
testdata/Builtins.lc 453:46-453:59  Type
testdata/Builtins.lc 453:56-453:57  V2
testdata/Builtins.lc 453:58-453:59  Type
testdata/Builtins.lc 453:64-453:65  Type
testdata/Builtins.lc 453:64-453:75  Type
testdata/Builtins.lc 453:69-453:70  Type
testdata/Builtins.lc 453:69-453:75  Type
testdata/Builtins.lc 453:74-453:75  Type
testdata/Builtins.lc 454:1-454:8  {a} -> {b : Signed (MatVecScalarElem a)} -> a->a
testdata/Builtins.lc 454:34-454:40  Type->Type
testdata/Builtins.lc 454:34-454:61  Type
testdata/Builtins.lc 454:34-454:71  Type
testdata/Builtins.lc 454:41-454:61  Type
testdata/Builtins.lc 454:42-454:58  Type->Type
testdata/Builtins.lc 454:59-454:60  V1
testdata/Builtins.lc 454:65-454:66  Type
testdata/Builtins.lc 454:65-454:71  Type
testdata/Builtins.lc 454:70-454:71  Type
testdata/Builtins.lc 456:1-456:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 456:11-456:18  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 456:20-456:28  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 456:34-456:80  Type
testdata/Builtins.lc 456:35-456:43  Type->Type
testdata/Builtins.lc 456:35-456:45  Type
testdata/Builtins.lc 456:44-456:45  V5
testdata/Builtins.lc 456:47-456:48  V4
testdata/Builtins.lc 456:47-456:50  Type->Type
testdata/Builtins.lc 456:47-456:64  Type
testdata/Builtins.lc 456:47-456:80  Type
testdata/Builtins.lc 456:49-456:50  Type -> Type->Type
testdata/Builtins.lc 456:51-456:60  Nat -> Type->Type
testdata/Builtins.lc 456:51-456:62  Type->Type
testdata/Builtins.lc 456:51-456:64  Type
testdata/Builtins.lc 456:61-456:62  V2
testdata/Builtins.lc 456:63-456:64  Type
testdata/Builtins.lc 456:69-456:70  Type
testdata/Builtins.lc 456:69-456:80  Type
testdata/Builtins.lc 456:74-456:75  Type
testdata/Builtins.lc 456:74-456:80  Type
testdata/Builtins.lc 456:79-456:80  Type
testdata/Builtins.lc 457:1-457:10  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 457:12-457:20  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 457:22-457:31  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 457:34-457:80  Type
testdata/Builtins.lc 457:35-457:43  Type->Type
testdata/Builtins.lc 457:35-457:45  Type
testdata/Builtins.lc 457:44-457:45  V5
testdata/Builtins.lc 457:47-457:48  V4
testdata/Builtins.lc 457:47-457:50  Type->Type
testdata/Builtins.lc 457:47-457:64  Type
testdata/Builtins.lc 457:47-457:80  Type
testdata/Builtins.lc 457:49-457:50  Type -> Type->Type
testdata/Builtins.lc 457:51-457:60  Nat -> Type->Type
testdata/Builtins.lc 457:51-457:62  Type->Type
testdata/Builtins.lc 457:51-457:64  Type
testdata/Builtins.lc 457:61-457:62  V2
testdata/Builtins.lc 457:63-457:64  Type
testdata/Builtins.lc 457:69-457:70  Type
testdata/Builtins.lc 457:69-457:80  Type
testdata/Builtins.lc 457:74-457:75  Type
testdata/Builtins.lc 457:74-457:80  Type
testdata/Builtins.lc 457:79-457:80  Type
testdata/Builtins.lc 458:1-458:9  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 458:34-458:75  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  V4
testdata/Builtins.lc 458:47-458:50  Type->Type
testdata/Builtins.lc 458:47-458:64  Type
testdata/Builtins.lc 458:47-458:75  Type
testdata/Builtins.lc 458:49-458:50  Type -> Type->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:75  Type
testdata/Builtins.lc 458:74-458:75  Type
testdata/Builtins.lc 459:1-459: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 459:14-459: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 459:34-459:102  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  V7
testdata/Builtins.lc 459:47-459:48  V6
testdata/Builtins.lc 459:47-459:50  Type->Type
testdata/Builtins.lc 459:47-459:64  Type
testdata/Builtins.lc 459:47-459:102  Type
testdata/Builtins.lc 459:49-459:50  Type -> Type->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  V4
testdata/Builtins.lc 459:63-459:64  Type
testdata/Builtins.lc 459:66-459:67  V3
testdata/Builtins.lc 459:66-459:69  Type->Type
testdata/Builtins.lc 459:66-459:86  Type
testdata/Builtins.lc 459:66-459:102  Type
testdata/Builtins.lc 459:68-459:69  Type -> Type->Type
testdata/Builtins.lc 459:70-459:79  Nat -> Type->Type
testdata/Builtins.lc 459:70-459:81  Type->Type
testdata/Builtins.lc 459:70-459:86  Type
testdata/Builtins.lc 459:80-459:81  Nat
testdata/Builtins.lc 459:82-459:86  Type
testdata/Builtins.lc 459:91-459:92  Type
testdata/Builtins.lc 459:91-459:102  Type
testdata/Builtins.lc 459:96-459:97  Type
testdata/Builtins.lc 459:96-459:102  Type
testdata/Builtins.lc 459:101-459:102  Type
testdata/Builtins.lc 460:1-460:13  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 460:15-460:27  {a} -> {b} -> {c:Nat} -> {d : Integral a} -> {e : b ~ VecScalar c a} -> b -> Word->b
testdata/Builtins.lc 460:34-460:83  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  V4
testdata/Builtins.lc 460:47-460:50  Type->Type
testdata/Builtins.lc 460:47-460:64  Type
testdata/Builtins.lc 460:47-460:83  Type
testdata/Builtins.lc 460:49-460:50  Type -> Type->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:83  Type
testdata/Builtins.lc 460:74-460:78  Type
testdata/Builtins.lc 460:74-460:83  Type
testdata/Builtins.lc 460:82-460:83  Type
testdata/Builtins.lc 462:1-462:8  Bool -> Bool->Bool
testdata/Builtins.lc 462:10-462:16  Bool -> Bool->Bool
testdata/Builtins.lc 462:18-462:25  Bool -> Bool->Bool
testdata/Builtins.lc 462:34-462:38  Type
testdata/Builtins.lc 462:42-462:46  Type
testdata/Builtins.lc 462:42-462:54  Type
testdata/Builtins.lc 462:50-462:54  Type
testdata/Builtins.lc 463:1-463:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Bool} -> a->a
testdata/Builtins.lc 463:34-463:56  Type
testdata/Builtins.lc 463:34-463:66  Type
testdata/Builtins.lc 463:35-463:36  V3
testdata/Builtins.lc 463:35-463:38  Type->Type
testdata/Builtins.lc 463:37-463:38  Type -> Type->Type
testdata/Builtins.lc 463:39-463:48  Nat -> Type->Type
testdata/Builtins.lc 463:39-463:50  Type->Type
testdata/Builtins.lc 463:39-463:55  Type
testdata/Builtins.lc 463:49-463:50  V1
testdata/Builtins.lc 463:51-463:55  Type
testdata/Builtins.lc 463:60-463:61  Type
testdata/Builtins.lc 463:60-463:66  Type
testdata/Builtins.lc 463:65-463:66  Type
testdata/Builtins.lc 464:1-464:8  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 464:10-464:17  {a:Nat} -> VecScalar a Bool -> Bool
testdata/Builtins.lc 464:34-464:43  Nat -> Type->Type
testdata/Builtins.lc 464:34-464:45  Type->Type
testdata/Builtins.lc 464:34-464:50  Type
testdata/Builtins.lc 464:34-464:58  Type
testdata/Builtins.lc 464:44-464:45  V1
testdata/Builtins.lc 464:46-464:50  Type
testdata/Builtins.lc 464:54-464:58  Type
testdata/Builtins.lc 467:1-467:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:11-467:20  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:22-467:30  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:32-467:41  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:43-467:51  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:53-467:62  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:64-467:71  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:73-467:81  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:83-467:94  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:96-467:107  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:109-467:116  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:118-467:126  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:128-467:135  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:137-467:145  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:147-467:154  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:156-467:163  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:165-467:173  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:175-467:183  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:185-467:193  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 467:195-467:206  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 468:34-468:57  Type
testdata/Builtins.lc 468:34-468:67  Type
testdata/Builtins.lc 468:35-468:36  V3
testdata/Builtins.lc 468:35-468:38  Type->Type
testdata/Builtins.lc 468:37-468:38  Type -> Type->Type
testdata/Builtins.lc 468:39-468:48  Nat -> Type->Type
testdata/Builtins.lc 468:39-468:50  Type->Type
testdata/Builtins.lc 468:39-468:56  Type
testdata/Builtins.lc 468:49-468:50  V1
testdata/Builtins.lc 468:51-468:56  Type
testdata/Builtins.lc 468:61-468:62  Type
testdata/Builtins.lc 468:61-468:67  Type
testdata/Builtins.lc 468:66-468:67  Type
testdata/Builtins.lc 469:1-469:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 469:10-469:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 469:34-469:57  Type
testdata/Builtins.lc 469:34-469:72  Type
testdata/Builtins.lc 469:35-469:36  V3
testdata/Builtins.lc 469:35-469:38  Type->Type
testdata/Builtins.lc 469:37-469:38  Type -> Type->Type
testdata/Builtins.lc 469:39-469:48  Nat -> Type->Type
testdata/Builtins.lc 469:39-469:50  Type->Type
testdata/Builtins.lc 469:39-469:56  Type
testdata/Builtins.lc 469:49-469:50  V1
testdata/Builtins.lc 469:51-469:56  Type
testdata/Builtins.lc 469:61-469:62  Type
testdata/Builtins.lc 469:61-469:72  Type
testdata/Builtins.lc 469:66-469:67  Type
testdata/Builtins.lc 469:66-469:72  Type
testdata/Builtins.lc 469:71-469:72  Type
testdata/Builtins.lc 471:1-471:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 471:12-471:21  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 471:23-471:32  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 471:34-471:47  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 471:49-471:57  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 471:59-471:68  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 472:34-472:57  Type
testdata/Builtins.lc 472:34-472:67  Type
testdata/Builtins.lc 472:35-472:36  V3
testdata/Builtins.lc 472:35-472:38  Type->Type
testdata/Builtins.lc 472:37-472:38  Type -> Type->Type
testdata/Builtins.lc 472:39-472:48  Nat -> Type->Type
testdata/Builtins.lc 472:39-472:50  Type->Type
testdata/Builtins.lc 472:39-472:56  Type
testdata/Builtins.lc 472:49-472:50  V1
testdata/Builtins.lc 472:51-472:56  Type
testdata/Builtins.lc 472:61-472:62  Type
testdata/Builtins.lc 472:61-472:67  Type
testdata/Builtins.lc 472:66-472:67  Type
testdata/Builtins.lc 473:1-473:8  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 473:10-473:17  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b->b
testdata/Builtins.lc 473:34-473:75  Type
testdata/Builtins.lc 473:35-473:38  Type->Type
testdata/Builtins.lc 473:35-473:40  Type
testdata/Builtins.lc 473:39-473:40  V5
testdata/Builtins.lc 473:42-473:43  V4
testdata/Builtins.lc 473:42-473:45  Type->Type
testdata/Builtins.lc 473:42-473:59  Type
testdata/Builtins.lc 473:42-473:75  Type
testdata/Builtins.lc 473:44-473:45  Type -> Type->Type
testdata/Builtins.lc 473:46-473:55  Nat -> Type->Type
testdata/Builtins.lc 473:46-473:57  Type->Type
testdata/Builtins.lc 473:46-473:59  Type
testdata/Builtins.lc 473:56-473:57  V2
testdata/Builtins.lc 473:58-473:59  Type
testdata/Builtins.lc 473:64-473:65  Type
testdata/Builtins.lc 473:64-473:75  Type
testdata/Builtins.lc 473:69-473:70  Type
testdata/Builtins.lc 473:69-473:75  Type
testdata/Builtins.lc 473:74-473:75  Type
testdata/Builtins.lc 474:1-474:9  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 474:11-474:19  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a->b
testdata/Builtins.lc 474:34-474:75  Type
testdata/Builtins.lc 474:35-474:38  Type->Type
testdata/Builtins.lc 474:35-474:40  Type
testdata/Builtins.lc 474:39-474:40  V5
testdata/Builtins.lc 474:42-474:43  V4
testdata/Builtins.lc 474:42-474:45  Type->Type
testdata/Builtins.lc 474:42-474:59  Type
testdata/Builtins.lc 474:42-474:75  Type
testdata/Builtins.lc 474:44-474:45  Type -> Type->Type
testdata/Builtins.lc 474:46-474:55  Nat -> Type->Type
testdata/Builtins.lc 474:46-474:57  Type->Type
testdata/Builtins.lc 474:46-474:59  Type
testdata/Builtins.lc 474:56-474:57  V2
testdata/Builtins.lc 474:58-474:59  Type
testdata/Builtins.lc 474:64-474:65  Type
testdata/Builtins.lc 474:64-474:75  Type
testdata/Builtins.lc 474:69-474:70  Type
testdata/Builtins.lc 474:69-474:75  Type
testdata/Builtins.lc 474:74-474:75  Type
testdata/Builtins.lc 475:1-475:10  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 475:12-475:21  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a->c
testdata/Builtins.lc 475:34-475:89  Type
testdata/Builtins.lc 475:35-475:36  V5
testdata/Builtins.lc 475:35-475:38  Type->Type
testdata/Builtins.lc 475:35-475:56  Type
testdata/Builtins.lc 475:37-475:38  Type -> Type->Type
testdata/Builtins.lc 475:39-475:48  Nat -> Type->Type
testdata/Builtins.lc 475:39-475:50  Type->Type
testdata/Builtins.lc 475:39-475:56  Type
testdata/Builtins.lc 475:49-475:50  V3
testdata/Builtins.lc 475:51-475:56  Type
testdata/Builtins.lc 475:58-475:59  V2
testdata/Builtins.lc 475:58-475:61  Type->Type
testdata/Builtins.lc 475:58-475:78  Type
testdata/Builtins.lc 475:58-475:89  Type
testdata/Builtins.lc 475:60-475:61  Type -> Type->Type
testdata/Builtins.lc 475:62-475:71  Nat -> Type->Type
testdata/Builtins.lc 475:62-475:73  Type->Type
testdata/Builtins.lc 475:62-475:78  Type
testdata/Builtins.lc 475:72-475:73  Nat
testdata/Builtins.lc 475:74-475:78  Type
testdata/Builtins.lc 475:83-475:84  Type
testdata/Builtins.lc 475:83-475:89  Type
testdata/Builtins.lc 475:88-475:89  Type
testdata/Builtins.lc 476:1-476:8  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 476:10-476:18  {a} -> {b} -> {c:Nat} -> {d : Signed a} -> {e : b ~ VecScalar c a} -> b->b
testdata/Builtins.lc 476:34-476:73  Type
testdata/Builtins.lc 476:35-476:41  Type->Type
testdata/Builtins.lc 476:35-476:43  Type
testdata/Builtins.lc 476:42-476:43  V5
testdata/Builtins.lc 476:45-476:46  V4
testdata/Builtins.lc 476:45-476:48  Type->Type
testdata/Builtins.lc 476:45-476:62  Type
testdata/Builtins.lc 476:45-476:73  Type
testdata/Builtins.lc 476:47-476:48  Type -> Type->Type
testdata/Builtins.lc 476:49-476:58  Nat -> Type->Type
testdata/Builtins.lc 476:49-476:60  Type->Type
testdata/Builtins.lc 476:49-476:62  Type
testdata/Builtins.lc 476:59-476:60  V2
testdata/Builtins.lc 476:61-476:62  Type
testdata/Builtins.lc 476:67-476:68  Type
testdata/Builtins.lc 476:67-476:73  Type
testdata/Builtins.lc 476:72-476:73  Type
testdata/Builtins.lc 477:1-477:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> Tuple2 a a
testdata/Builtins.lc 477:34-477:57  Type
testdata/Builtins.lc 477:34-477:72  Type
testdata/Builtins.lc 477:35-477:36  V3
testdata/Builtins.lc 477:35-477:38  Type->Type
testdata/Builtins.lc 477:37-477:38  Type -> Type->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  V1
testdata/Builtins.lc 477:51-477:56  Type
testdata/Builtins.lc 477:61-477:62  Type
testdata/Builtins.lc 477:61-477:72  Type
testdata/Builtins.lc 477:66-477:72  Type
testdata/Builtins.lc 477:67-477:68  Type
testdata/Builtins.lc 477:70-477:71  Type
testdata/Builtins.lc 478:1-478:10  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> b -> b->b
testdata/Builtins.lc 478:34-478:80  Type
testdata/Builtins.lc 478:35-478:38  Type->Type
testdata/Builtins.lc 478:35-478:40  Type
testdata/Builtins.lc 478:39-478:40  V5
testdata/Builtins.lc 478:42-478:43  V4
testdata/Builtins.lc 478:42-478:45  Type->Type
testdata/Builtins.lc 478:42-478:59  Type
testdata/Builtins.lc 478:42-478:80  Type
testdata/Builtins.lc 478:44-478:45  Type -> Type->Type
testdata/Builtins.lc 478:46-478:55  Nat -> Type->Type
testdata/Builtins.lc 478:46-478:57  Type->Type
testdata/Builtins.lc 478:46-478:59  Type
testdata/Builtins.lc 478:56-478:57  V2
testdata/Builtins.lc 478:58-478:59  Type
testdata/Builtins.lc 478:64-478:65  Type
testdata/Builtins.lc 478:64-478:80  Type
testdata/Builtins.lc 478:69-478:70  Type
testdata/Builtins.lc 478:69-478:80  Type
testdata/Builtins.lc 478:74-478:75  Type
testdata/Builtins.lc 478:74-478:80  Type
testdata/Builtins.lc 478:79-478:80  Type
testdata/Builtins.lc 479:1-479:11  {a} -> {b} -> {c:Nat} -> {d : Num a} -> {e : b ~ VecScalar c a} -> b -> a -> a->b
testdata/Builtins.lc 479:34-479:80  Type
testdata/Builtins.lc 479:35-479:38  Type->Type
testdata/Builtins.lc 479:35-479:40  Type
testdata/Builtins.lc 479:39-479:40  V5
testdata/Builtins.lc 479:42-479:43  V4
testdata/Builtins.lc 479:42-479:45  Type->Type
testdata/Builtins.lc 479:42-479:59  Type
testdata/Builtins.lc 479:42-479:80  Type
testdata/Builtins.lc 479:44-479:45  Type -> Type->Type
testdata/Builtins.lc 479:46-479:55  Nat -> Type->Type
testdata/Builtins.lc 479:46-479:57  Type->Type
testdata/Builtins.lc 479:46-479:59  Type
testdata/Builtins.lc 479:56-479:57  V2
testdata/Builtins.lc 479:58-479:59  Type
testdata/Builtins.lc 479:64-479:65  Type
testdata/Builtins.lc 479:64-479:80  Type
testdata/Builtins.lc 479:69-479:70  Type
testdata/Builtins.lc 479:69-479:80  Type
testdata/Builtins.lc 479:74-479:75  Type
testdata/Builtins.lc 479:74-479:80  Type
testdata/Builtins.lc 479:79-479:80  Type
testdata/Builtins.lc 480:1-480:8  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 480:34-480:57  Type
testdata/Builtins.lc 480:34-480:77  Type
testdata/Builtins.lc 480:35-480:36  V3
testdata/Builtins.lc 480:35-480:38  Type->Type
testdata/Builtins.lc 480:37-480:38  Type -> Type->Type
testdata/Builtins.lc 480:39-480:48  Nat -> Type->Type
testdata/Builtins.lc 480:39-480:50  Type->Type
testdata/Builtins.lc 480:39-480:56  Type
testdata/Builtins.lc 480:49-480:50  V1
testdata/Builtins.lc 480:51-480:56  Type
testdata/Builtins.lc 480:61-480:62  Type
testdata/Builtins.lc 480:61-480:77  Type
testdata/Builtins.lc 480:66-480:67  Type
testdata/Builtins.lc 480:66-480:77  Type
testdata/Builtins.lc 480:71-480:72  Type
testdata/Builtins.lc 480:71-480:77  Type
testdata/Builtins.lc 480:76-480:77  Type
testdata/Builtins.lc 481:1-481:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> Float->a
testdata/Builtins.lc 481:34-481:57  Type
testdata/Builtins.lc 481:34-481:81  Type
testdata/Builtins.lc 481:35-481:36  V3
testdata/Builtins.lc 481:35-481:38  Type->Type
testdata/Builtins.lc 481:37-481:38  Type -> Type->Type
testdata/Builtins.lc 481:39-481:48  Nat -> Type->Type
testdata/Builtins.lc 481:39-481:50  Type->Type
testdata/Builtins.lc 481:39-481:56  Type
testdata/Builtins.lc 481:49-481:50  V1
testdata/Builtins.lc 481:51-481:56  Type
testdata/Builtins.lc 481:61-481:62  Type
testdata/Builtins.lc 481:61-481:81  Type
testdata/Builtins.lc 481:66-481:67  Type
testdata/Builtins.lc 481:66-481:81  Type
testdata/Builtins.lc 481:71-481:76  Type
testdata/Builtins.lc 481:71-481:81  Type
testdata/Builtins.lc 481:80-481:81  Type
testdata/Builtins.lc 482:1-482:9  {a} -> {b:Nat} -> {c} -> {d : a ~ VecScalar b Float} -> {e : c ~ VecScalar b Bool} -> a -> a -> c->a
testdata/Builtins.lc 482:34-482:99  Type
testdata/Builtins.lc 482:35-482:36  V5
testdata/Builtins.lc 482:35-482:38  Type->Type
testdata/Builtins.lc 482:35-482:56  Type
testdata/Builtins.lc 482:37-482:38  Type -> Type->Type
testdata/Builtins.lc 482:39-482:48  Nat -> Type->Type
testdata/Builtins.lc 482:39-482:50  Type->Type
testdata/Builtins.lc 482:39-482:56  Type
testdata/Builtins.lc 482:49-482:50  V3
testdata/Builtins.lc 482:51-482:56  Type
testdata/Builtins.lc 482:58-482:59  V2
testdata/Builtins.lc 482:58-482:61  Type->Type
testdata/Builtins.lc 482:58-482:78  Type
testdata/Builtins.lc 482:58-482:99  Type
testdata/Builtins.lc 482:60-482:61  Type -> Type->Type
testdata/Builtins.lc 482:62-482:71  Nat -> Type->Type
testdata/Builtins.lc 482:62-482:73  Type->Type
testdata/Builtins.lc 482:62-482:78  Type
testdata/Builtins.lc 482:72-482:73  Nat
testdata/Builtins.lc 482:74-482:78  Type
testdata/Builtins.lc 482:83-482:84  Type
testdata/Builtins.lc 482:83-482:99  Type
testdata/Builtins.lc 482:88-482:89  Type
testdata/Builtins.lc 482:88-482:99  Type
testdata/Builtins.lc 482:93-482:94  Type
testdata/Builtins.lc 482:93-482:99  Type
testdata/Builtins.lc 482:98-482:99  Type
testdata/Builtins.lc 483:1-483:9  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a->a
testdata/Builtins.lc 483:34-483:53  Type
testdata/Builtins.lc 483:34-483:68  Type
testdata/Builtins.lc 483:35-483:36  V3
testdata/Builtins.lc 483:35-483:38  Type->Type
testdata/Builtins.lc 483:37-483:38  Type -> Type->Type
testdata/Builtins.lc 483:39-483:44  Nat -> Type->Type
testdata/Builtins.lc 483:39-483:46  Type->Type
testdata/Builtins.lc 483:39-483:52  Type
testdata/Builtins.lc 483:45-483:46  V1
testdata/Builtins.lc 483:47-483:52  Type
testdata/Builtins.lc 483:57-483:58  Type
testdata/Builtins.lc 483:57-483:68  Type
testdata/Builtins.lc 483:62-483:63  Type
testdata/Builtins.lc 483:62-483:68  Type
testdata/Builtins.lc 483:67-483:68  Type
testdata/Builtins.lc 484:1-484:10  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> a->a
testdata/Builtins.lc 484:34-484:57  Type
testdata/Builtins.lc 484:34-484:76  Type
testdata/Builtins.lc 484:35-484:36  V3
testdata/Builtins.lc 484:35-484:38  Type->Type
testdata/Builtins.lc 484:37-484:38  Type -> Type->Type
testdata/Builtins.lc 484:39-484:48  Nat -> Type->Type
testdata/Builtins.lc 484:39-484:50  Type->Type
testdata/Builtins.lc 484:39-484:56  Type
testdata/Builtins.lc 484:49-484:50  V1
testdata/Builtins.lc 484:51-484:56  Type
testdata/Builtins.lc 484:61-484:66  Type
testdata/Builtins.lc 484:61-484:76  Type
testdata/Builtins.lc 484:70-484:71  Type
testdata/Builtins.lc 484:70-484:76  Type
testdata/Builtins.lc 484:75-484:76  Type
testdata/Builtins.lc 485:1-485:15  {a} -> {b:Nat} -> {c : a ~ VecS Float b} -> a -> a -> a->a
testdata/Builtins.lc 485:34-485:53  Type
testdata/Builtins.lc 485:34-485:73  Type
testdata/Builtins.lc 485:35-485:36  V3
testdata/Builtins.lc 485:35-485:38  Type->Type
testdata/Builtins.lc 485:37-485:38  Type -> Type->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:73  Type
testdata/Builtins.lc 485:62-485:63  Type
testdata/Builtins.lc 485:62-485:73  Type
testdata/Builtins.lc 485:67-485:68  Type
testdata/Builtins.lc 485:67-485:73  Type
testdata/Builtins.lc 485:72-485:73  Type
testdata/Builtins.lc 486:1-486:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> Float -> Float -> a->a
testdata/Builtins.lc 486:34-486:57  Type
testdata/Builtins.lc 486:34-486:85  Type
testdata/Builtins.lc 486:35-486:36  V3
testdata/Builtins.lc 486:35-486:38  Type->Type
testdata/Builtins.lc 486:37-486:38  Type -> Type->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:85  Type
testdata/Builtins.lc 486:70-486:75  Type
testdata/Builtins.lc 486:70-486:85  Type
testdata/Builtins.lc 486:79-486:80  Type
testdata/Builtins.lc 486:79-486:85  Type
testdata/Builtins.lc 486:84-486:85  Type
testdata/Builtins.lc 489:1-489:19  {a:Nat} -> VecScalar a Float -> VecScalar a Int
testdata/Builtins.lc 489:34-489:43  Nat -> Type->Type
testdata/Builtins.lc 489:34-489:45  Type->Type
testdata/Builtins.lc 489:34-489:51  Type
testdata/Builtins.lc 489:34-489:70  Type
testdata/Builtins.lc 489:44-489:45  V1
testdata/Builtins.lc 489:46-489:51  Type
testdata/Builtins.lc 489:55-489:64  Nat -> Type->Type
testdata/Builtins.lc 489:55-489:66  Type->Type
testdata/Builtins.lc 489:55-489:70  Type
testdata/Builtins.lc 489:65-489:66  Nat
testdata/Builtins.lc 489:67-489:70  Type
testdata/Builtins.lc 490:1-490:20  {a:Nat} -> VecScalar a Float -> VecScalar a Word
testdata/Builtins.lc 490:34-490:43  Nat -> Type->Type
testdata/Builtins.lc 490:34-490:45  Type->Type
testdata/Builtins.lc 490:34-490:51  Type
testdata/Builtins.lc 490:34-490:71  Type
testdata/Builtins.lc 490:44-490:45  V1
testdata/Builtins.lc 490:46-490:51  Type
testdata/Builtins.lc 490:55-490:64  Nat -> Type->Type
testdata/Builtins.lc 490:55-490:66  Type->Type
testdata/Builtins.lc 490:55-490:71  Type
testdata/Builtins.lc 490:65-490:66  Nat
testdata/Builtins.lc 490:67-490:71  Type
testdata/Builtins.lc 491:1-491:19  {a:Nat} -> VecScalar a Int -> VecScalar a Float
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:49  Type
testdata/Builtins.lc 491:34-491:72  Type
testdata/Builtins.lc 491:44-491:45  V1
testdata/Builtins.lc 491:46-491:49  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:72  Type
testdata/Builtins.lc 491:65-491:66  Nat
testdata/Builtins.lc 491:67-491:72  Type
testdata/Builtins.lc 492:1-492:20  {a:Nat} -> VecScalar a Word -> VecScalar a Float
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:50  Type
testdata/Builtins.lc 492:34-492:72  Type
testdata/Builtins.lc 492:44-492:45  V1
testdata/Builtins.lc 492:46-492:50  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:72  Type
testdata/Builtins.lc 492:65-492:66  Nat
testdata/Builtins.lc 492:67-492:72  Type
testdata/Builtins.lc 494:1-494:11  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->Float
testdata/Builtins.lc 494:34-494:57  Type
testdata/Builtins.lc 494:34-494:71  Type
testdata/Builtins.lc 494:35-494:36  V3
testdata/Builtins.lc 494:35-494:38  Type->Type
testdata/Builtins.lc 494:37-494:38  Type -> Type->Type
testdata/Builtins.lc 494:39-494:48  Nat -> Type->Type
testdata/Builtins.lc 494:39-494:50  Type->Type
testdata/Builtins.lc 494:39-494:56  Type
testdata/Builtins.lc 494:49-494:50  V1
testdata/Builtins.lc 494:51-494:56  Type
testdata/Builtins.lc 494:61-494:62  Type
testdata/Builtins.lc 494:61-494:71  Type
testdata/Builtins.lc 494:66-494:71  Type
testdata/Builtins.lc 495:1-495:13  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 495:15-495:22  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->Float
testdata/Builtins.lc 495:34-495:57  Type
testdata/Builtins.lc 495:34-495:76  Type
testdata/Builtins.lc 495:35-495:36  V3
testdata/Builtins.lc 495:35-495:38  Type->Type
testdata/Builtins.lc 495:37-495:38  Type -> Type->Type
testdata/Builtins.lc 495:39-495:48  Nat -> Type->Type
testdata/Builtins.lc 495:39-495:50  Type->Type
testdata/Builtins.lc 495:39-495:56  Type
testdata/Builtins.lc 495:49-495:50  V1
testdata/Builtins.lc 495:51-495:56  Type
testdata/Builtins.lc 495:61-495:62  Type
testdata/Builtins.lc 495:61-495:76  Type
testdata/Builtins.lc 495:66-495:67  Type
testdata/Builtins.lc 495:66-495:76  Type
testdata/Builtins.lc 495:71-495:76  Type
testdata/Builtins.lc 496:1-496:10  {a} -> {b : a ~ VecS Float 3} -> a -> a->a
testdata/Builtins.lc 496:34-496:57  Type
testdata/Builtins.lc 496:34-496:72  Type
testdata/Builtins.lc 496:35-496:36  V1
testdata/Builtins.lc 496:35-496:38  Type->Type
testdata/Builtins.lc 496:37-496:38  Type -> Type->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:72  Type
testdata/Builtins.lc 496:66-496:67  Type
testdata/Builtins.lc 496:66-496:72  Type
testdata/Builtins.lc 496:71-496:72  Type
testdata/Builtins.lc 497:1-497:14  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 497:34-497:57  Type
testdata/Builtins.lc 497:34-497:67  Type
testdata/Builtins.lc 497:35-497:36  V3
testdata/Builtins.lc 497:35-497:38  Type->Type
testdata/Builtins.lc 497:37-497:38  Type -> Type->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:67  Type
testdata/Builtins.lc 497:66-497:67  Type
testdata/Builtins.lc 498:1-498:16  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 498:18-498:29  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a -> a->a
testdata/Builtins.lc 498:34-498:57  Type
testdata/Builtins.lc 498:34-498:77  Type
testdata/Builtins.lc 498:35-498:36  V3
testdata/Builtins.lc 498:35-498:38  Type->Type
testdata/Builtins.lc 498:37-498:38  Type -> Type->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:77  Type
testdata/Builtins.lc 498:66-498:67  Type
testdata/Builtins.lc 498:66-498:77  Type
testdata/Builtins.lc 498:71-498:72  Type
testdata/Builtins.lc 498:71-498:77  Type
testdata/Builtins.lc 498:76-498:77  Type
testdata/Builtins.lc 499:1-499:12  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a -> a->a
testdata/Builtins.lc 499:34-499:57  Type
testdata/Builtins.lc 499:34-499:72  Type
testdata/Builtins.lc 499:35-499:36  V3
testdata/Builtins.lc 499:35-499:38  Type->Type
testdata/Builtins.lc 499:37-499:38  Type -> Type->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:72  Type
testdata/Builtins.lc 499:66-499:67  Type
testdata/Builtins.lc 499:66-499:72  Type
testdata/Builtins.lc 499:71-499:72  Type
testdata/Builtins.lc 501:1-501:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c
testdata/Builtins.lc 501:34-501:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 501:34-501:39  Nat -> Type->Type
testdata/Builtins.lc 501:34-501:41  Type->Type
testdata/Builtins.lc 501:34-501:43  Type
testdata/Builtins.lc 501:34-501:56  Type
testdata/Builtins.lc 501:38-501:39  V5
testdata/Builtins.lc 501:40-501:41  V3
testdata/Builtins.lc 501:42-501:43  V1
testdata/Builtins.lc 501:47-501:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 501:47-501:52  Nat -> Type->Type
testdata/Builtins.lc 501:47-501:54  Type->Type
testdata/Builtins.lc 501:47-501:56  Type
testdata/Builtins.lc 501:51-501:52  Nat
testdata/Builtins.lc 501:53-501:54  Nat
testdata/Builtins.lc 501:55-501:56  Type
testdata/Builtins.lc 502:1-502:16  {a:Nat} -> {b} -> Mat a a b -> Float
testdata/Builtins.lc 502:34-502:37  Nat -> Nat -> Type->Type
testdata/Builtins.lc 502:34-502:39  Nat -> Type->Type
testdata/Builtins.lc 502:34-502:41  Type->Type
testdata/Builtins.lc 502:34-502:43  Type
testdata/Builtins.lc 502:34-502:52  Type
testdata/Builtins.lc 502:38-502:39  V3
testdata/Builtins.lc 502:40-502:41  Nat
testdata/Builtins.lc 502:42-502:43  V1
testdata/Builtins.lc 502:47-502:52  Type
testdata/Builtins.lc 503:1-503:12  {a:Nat} -> {b} -> Mat a a b -> Mat a a b
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  V3
testdata/Builtins.lc 503:40-503:41  Nat
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:17  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> VecS b c -> Mat c a b
testdata/Builtins.lc 504:34-504:37  Nat -> Type->Type
testdata/Builtins.lc 504:34-504:39  Type->Type
testdata/Builtins.lc 504:34-504:41  Type
testdata/Builtins.lc 504:34-504:69  Type
testdata/Builtins.lc 504:38-504:39  V5
testdata/Builtins.lc 504:40-504:41  V3
testdata/Builtins.lc 504:47-504:50  Nat -> Type->Type
testdata/Builtins.lc 504:47-504:52  Type->Type
testdata/Builtins.lc 504:47-504:54  Type
testdata/Builtins.lc 504:47-504:69  Type
testdata/Builtins.lc 504:51-504:52  V2
testdata/Builtins.lc 504:53-504:54  Type
testdata/Builtins.lc 504:60-504:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 504:60-504:65  Nat -> Type->Type
testdata/Builtins.lc 504:60-504:67  Type->Type
testdata/Builtins.lc 504:60-504:69  Type
testdata/Builtins.lc 504:64-504:65  Nat
testdata/Builtins.lc 504:66-504:67  Nat
testdata/Builtins.lc 504:68-504:69  Type
testdata/Builtins.lc 505:1-505:14  {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> VecS c a
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:67  Type
testdata/Builtins.lc 505:38-505:39  V5
testdata/Builtins.lc 505:40-505:41  V3
testdata/Builtins.lc 505:42-505:43  V1
testdata/Builtins.lc 505:47-505:50  Nat -> Type->Type
testdata/Builtins.lc 505:47-505:52  Type->Type
testdata/Builtins.lc 505:47-505:54  Type
testdata/Builtins.lc 505:47-505:67  Type
testdata/Builtins.lc 505:51-505:52  Nat
testdata/Builtins.lc 505:53-505:54  Type
testdata/Builtins.lc 505:60-505:63  Nat -> Type->Type
testdata/Builtins.lc 505:60-505:65  Type->Type
testdata/Builtins.lc 505:60-505:67  Type
testdata/Builtins.lc 505:64-505:65  Nat
testdata/Builtins.lc 505:66-505:67  Type
testdata/Builtins.lc 506:1-506:14  {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> VecS b c
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:67  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 -> Nat -> Type->Type
testdata/Builtins.lc 506:47-506:52  Nat -> Type->Type
testdata/Builtins.lc 506:47-506:54  Type->Type
testdata/Builtins.lc 506:47-506:56  Type
testdata/Builtins.lc 506:47-506:67  Type
testdata/Builtins.lc 506:51-506:52  Nat
testdata/Builtins.lc 506:53-506:54  V2
testdata/Builtins.lc 506:55-506:56  Type
testdata/Builtins.lc 506:60-506:63  Nat -> Type->Type
testdata/Builtins.lc 506:60-506:65  Type->Type
testdata/Builtins.lc 506:60-506:67  Type
testdata/Builtins.lc 506:64-506:65  Nat
testdata/Builtins.lc 506:66-506:67  Type
testdata/Builtins.lc 507:1-507:14  {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
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:69  Type
testdata/Builtins.lc 507:38-507:39  V7
testdata/Builtins.lc 507:40-507:41  V5
testdata/Builtins.lc 507:42-507:43  V3
testdata/Builtins.lc 507:47-507:50  Nat -> Nat -> Type->Type
testdata/Builtins.lc 507:47-507:52  Nat -> Type->Type
testdata/Builtins.lc 507:47-507:54  Type->Type
testdata/Builtins.lc 507:47-507:56  Type
testdata/Builtins.lc 507:47-507:69  Type
testdata/Builtins.lc 507:51-507:52  Nat
testdata/Builtins.lc 507:53-507:54  V2
testdata/Builtins.lc 507:55-507:56  Type
testdata/Builtins.lc 507:60-507:63  Nat -> Nat -> Type->Type
testdata/Builtins.lc 507:60-507:65  Nat -> Type->Type
testdata/Builtins.lc 507:60-507:67  Type->Type
testdata/Builtins.lc 507:60-507:69  Type
testdata/Builtins.lc 507:64-507:65  Nat
testdata/Builtins.lc 507:66-507:67  Nat
testdata/Builtins.lc 507:68-507:69  Type
testdata/Builtins.lc 509:1-509:13  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 509:15-509:32  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 509:34-509:49  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 509:51-509:71  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 509:73-509:83  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 509:85-509:98  {a} -> {b} -> {c:Nat} -> {d} -> {e : Num a} -> {f : b ~ VecScalar c a} -> {g : d ~ VecScalar c Bool} -> b -> b->d
testdata/Builtins.lc 510:34-510:97  Type
testdata/Builtins.lc 510:35-510:38  Type->Type
testdata/Builtins.lc 510:35-510:40  Type
testdata/Builtins.lc 510:39-510:40  V7
testdata/Builtins.lc 510:42-510:43  V6
testdata/Builtins.lc 510:42-510:45  Type->Type
testdata/Builtins.lc 510:42-510:59  Type
testdata/Builtins.lc 510:42-510:97  Type
testdata/Builtins.lc 510:44-510:45  Type -> Type->Type
testdata/Builtins.lc 510:46-510:55  Nat -> Type->Type
testdata/Builtins.lc 510:46-510:57  Type->Type
testdata/Builtins.lc 510:46-510:59  Type
testdata/Builtins.lc 510:56-510:57  V4
testdata/Builtins.lc 510:58-510:59  Type
testdata/Builtins.lc 510:61-510:62  V3
testdata/Builtins.lc 510:61-510:64  Type->Type
testdata/Builtins.lc 510:61-510:81  Type
testdata/Builtins.lc 510:61-510:97  Type
testdata/Builtins.lc 510:63-510:64  Type -> Type->Type
testdata/Builtins.lc 510:65-510:74  Nat -> Type->Type
testdata/Builtins.lc 510:65-510:76  Type->Type
testdata/Builtins.lc 510:65-510:81  Type
testdata/Builtins.lc 510:75-510:76  Nat
testdata/Builtins.lc 510:77-510:81  Type
testdata/Builtins.lc 510:86-510:87  Type
testdata/Builtins.lc 510:86-510:97  Type
testdata/Builtins.lc 510:91-510:92  Type
testdata/Builtins.lc 510:91-510:97  Type
testdata/Builtins.lc 510:96-510:97  Type
testdata/Builtins.lc 511:1-511:10  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> b -> b->Bool
testdata/Builtins.lc 511:12-511:24  {a} -> {b} -> {c : a ~ MatVecScalarElem b} -> b -> b->Bool
testdata/Builtins.lc 511:34-511:58  Type
testdata/Builtins.lc 511:34-511:76  Type
testdata/Builtins.lc 511:35-511:36  V3
testdata/Builtins.lc 511:35-511:38  Type->Type
testdata/Builtins.lc 511:37-511:38  Type -> Type->Type
testdata/Builtins.lc 511:39-511:55  Type->Type
testdata/Builtins.lc 511:39-511:57  Type
testdata/Builtins.lc 511:56-511:57  V1
testdata/Builtins.lc 511:62-511:63  Type
testdata/Builtins.lc 511:62-511:76  Type
testdata/Builtins.lc 511:67-511:68  Type
testdata/Builtins.lc 511:67-511:76  Type
testdata/Builtins.lc 511:72-511:76  Type
testdata/Builtins.lc 513:1-513:9  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 513:11-513:19  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 513:21-513:31  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/Builtins.lc 514:34-514:57  Type
testdata/Builtins.lc 514:34-514:67  Type
testdata/Builtins.lc 514:35-514:36  V3
testdata/Builtins.lc 514:35-514:38  Type->Type
testdata/Builtins.lc 514:37-514:38  Type -> Type->Type
testdata/Builtins.lc 514:39-514:48  Nat -> Type->Type
testdata/Builtins.lc 514:39-514:50  Type->Type
testdata/Builtins.lc 514:39-514:56  Type
testdata/Builtins.lc 514:49-514:50  V1
testdata/Builtins.lc 514:51-514:56  Type
testdata/Builtins.lc 514:61-514:62  Type
testdata/Builtins.lc 514:61-514:67  Type
testdata/Builtins.lc 514:66-514:67  Type
testdata/Builtins.lc 516:1-516:11  {a:Nat} -> VecScalar a Float -> Float
testdata/Builtins.lc 516:34-516:43  Nat -> Type->Type
testdata/Builtins.lc 516:34-516:45  Type->Type
testdata/Builtins.lc 516:34-516:51  Type
testdata/Builtins.lc 516:34-516:60  Type
testdata/Builtins.lc 516:44-516:45  V1
testdata/Builtins.lc 516:46-516:51  Type
testdata/Builtins.lc 516:55-516:60  Type
testdata/Builtins.lc 517:1-517:11  {a:Nat} -> VecScalar a Float -> VecS Float 2
testdata/Builtins.lc 517:34-517:43  Nat -> Type->Type
testdata/Builtins.lc 517:34-517:45  Type->Type
testdata/Builtins.lc 517:34-517:51  Type
testdata/Builtins.lc 517:34-517:66  Type
testdata/Builtins.lc 517:44-517:45  V1
testdata/Builtins.lc 517:46-517:51  Type
testdata/Builtins.lc 517:55-517:58  Nat -> Type->Type
testdata/Builtins.lc 517:55-517:60  Type->Type
testdata/Builtins.lc 517:55-517:66  Type
testdata/Builtins.lc 517:59-517:60  V1
testdata/Builtins.lc 517:61-517:66  Type
testdata/Builtins.lc 518:1-518:11  {a:Nat} -> VecScalar a Float -> VecS Float 3
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:66  Type
testdata/Builtins.lc 518:44-518:45  V1
testdata/Builtins.lc 518:46-518:51  Type
testdata/Builtins.lc 518:55-518:58  Nat -> Type->Type
testdata/Builtins.lc 518:55-518:60  Type->Type
testdata/Builtins.lc 518:55-518:66  Type
testdata/Builtins.lc 518:59-518:60  V1
testdata/Builtins.lc 518:61-518:66  Type
testdata/Builtins.lc 519:1-519:11  {a:Nat} -> VecScalar a Float -> VecS Float 4
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 535:6-535:13  Type
testdata/Builtins.lc 535:6-539:12  Type
testdata/Builtins.lc 536:3-536:16  String->Texture | Texture | Type
testdata/Builtins.lc 536:20-536:26  Type
testdata/Builtins.lc 537:20-537:27  Type
testdata/Builtins.lc 539:3-539:12  Texture | Type | VecS Int 2 -> Image 1 (Color (VecS Float 4)) -> Texture
testdata/Builtins.lc 539:20-539:23  Nat -> Type->Type
testdata/Builtins.lc 539:20-539:25  Type->Type
testdata/Builtins.lc 539:20-539:29  Type
testdata/Builtins.lc 539:24-539:25  V1
testdata/Builtins.lc 539:26-539:29  Type
testdata/Builtins.lc 540:20-540:25  Nat -> Type->Type
testdata/Builtins.lc 540:20-540:27  Type->Type
testdata/Builtins.lc 540:20-540:49  Type
testdata/Builtins.lc 540:20-541:27  Type
testdata/Builtins.lc 540:26-540:27  V1
testdata/Builtins.lc 540:28-540:49  Type
testdata/Builtins.lc 540:29-540:34  Type->Type
testdata/Builtins.lc 540:35-540:48  Type
testdata/Builtins.lc 540:36-540:39  Nat -> Type->Type
testdata/Builtins.lc 540:36-540:41  Type->Type
testdata/Builtins.lc 540:40-540:41  V1
testdata/Builtins.lc 540:42-540:47  Type
testdata/Builtins.lc 541:20-541:27  Type
testdata/Builtins.lc 543:6-543:12  Type
testdata/Builtins.lc 543:6-545:17  Type
testdata/Builtins.lc 544:5-544:16  Filter
testdata/Builtins.lc 545:5-545:17  Filter
testdata/Builtins.lc 547:6-547:14  Type
testdata/Builtins.lc 547:6-550:16  Type
testdata/Builtins.lc 548:5-548:11  EdgeMode
testdata/Builtins.lc 549:5-549:19  EdgeMode
testdata/Builtins.lc 550:5-550:16  EdgeMode
testdata/Builtins.lc 552:6-552:13  Type
testdata/Builtins.lc 552:6-552:23  Type
testdata/Builtins.lc 552:6-552:47  Type
testdata/Builtins.lc 552:16-552:23  Filter -> EdgeMode -> Texture->Sampler | Sampler | Type
testdata/Builtins.lc 552:24-552:30  Type
testdata/Builtins.lc 552:31-552:39  Type
testdata/Builtins.lc 552:40-552:47  Type
testdata/Builtins.lc 555:1-555:10  Sampler -> VecS Float 2 -> VecS Float 4
testdata/Builtins.lc 555:14-555:21  Type
testdata/Builtins.lc 555:25-555:28  Nat -> Type->Type
testdata/Builtins.lc 555:25-555:30  Type->Type
testdata/Builtins.lc 555:25-555:36  Type
testdata/Builtins.lc 555:25-555:51  Type
testdata/Builtins.lc 555:29-555:30  V1
testdata/Builtins.lc 555:31-555:36  Type
testdata/Builtins.lc 555:40-555:43  Nat -> Type->Type
testdata/Builtins.lc 555:40-555:45  Type->Type
testdata/Builtins.lc 555:40-555:51  Type
testdata/Builtins.lc 555:44-555:45  V1
testdata/Builtins.lc 555:46-555:51  Type
testdata/Builtins.lc 558:1-558:15  {a} -> {b} -> a -> b -> Tuple2 a b
testdata/Builtins.lc 558:24-558:32  Tuple2 V3 V1
testdata/Builtins.lc 558:25-558:28  V5
testdata/Builtins.lc 558:30-558:31  V2
testdata/Builtins.lc 559:1-559:8  {a:Nat} -> {b} -> FrameBuffer a b -> Tuple2 (FragOps' b) (Stream (Vector a (Maybe (SimpleFragment (RemSemantics b))))) -> FrameBuffer a b
testdata/Builtins.lc 559:13-559:21  V3
testdata/Builtins.lc 559:13-559:46  FrameBuffer V1 V0
testdata/Builtins.lc 559:25-559:35  {a:Nat} -> {b} -> FragOps' b -> Stream (Vector a (Maybe (SimpleFragment (RemSemantics b)))) -> FrameBuffer a b -> FrameBuffer a b
testdata/Builtins.lc 559:25-559:39  Stream (Vector V1 (Maybe (SimpleFragment (RemSemantics V0)))) -> FrameBuffer V2 V1 -> FrameBuffer V3 V2
testdata/Builtins.lc 559:25-559:43  FrameBuffer V1 V0 -> FrameBuffer V2 V1
testdata/Builtins.lc 559:25-559:46  FrameBuffer V1 V0 | V2 -> V2->V2 | V2->V2
testdata/Builtins.lc 559:36-559:39  V6
testdata/Builtins.lc 559:40-559:43  V5
testdata/Builtins.lc 559:44-559:46  V7
testdata/Builtins.lc 560:1-560:12  {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 560:15-560:24  {a:Nat} -> {b} -> FrameBuffer a b -> Output
testdata/Builtins.lc 561:1-561:11  {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 561:14-561:25  {a:Nat} -> {b} -> {c} -> {d : SameLayerCounts c} -> {e : PreFrameBuffer a b ~ TFFrameBuffer c} -> c -> FrameBuffer a b
testdata/Builtins.lc 562:1-562:16  Float -> Image 1 (Depth Float)
testdata/Builtins.lc 562:19-562:29  {a:Nat} -> Float -> Image a (Depth Float)
testdata/Builtins.lc 562:19-562:32  Float -> Image 1 (Depth Float)
testdata/Builtins.lc 562:31-562:32  V1
testdata/Builtins.lc 563:1-563:16  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 (Color c)
testdata/Builtins.lc 563:19-563:29  {a:Nat} -> {b:Nat} -> {c} -> {d} -> {e : Num c} -> {f : d ~ VecScalar b c} -> d -> Image a (Color d)
testdata/Builtins.lc 563:19-563:32  {a:Nat} -> {b} -> {c} -> {d : Num b} -> {e : c ~ VecScalar a b} -> c -> Image 1 (Color c)
testdata/Builtins.lc 563:31-563:32  V1