main is not found
tooltips:
testdata/complex.lc 3:6-3:10  Type
testdata/complex.lc 3:6-3:27  Type
testdata/complex.lc 3:13-3:19  Repr
testdata/complex.lc 3:22-3:27  Repr
testdata/complex.lc 5:6-5:13  Repr->Type | Type
testdata/complex.lc 5:6-6:52  Type
testdata/complex.lc 5:17-5:21  Type
testdata/complex.lc 5:25-5:29  Type
testdata/complex.lc 6:3-6:10  Complex V2 | {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 6:3-6:52  Type
testdata/complex.lc 6:25-6:30  Type
testdata/complex.lc 6:25-6:52  Type
testdata/complex.lc 6:34-6:39  Type
testdata/complex.lc 6:34-6:52  Type
testdata/complex.lc 6:43-6:50  Repr->Type
testdata/complex.lc 6:43-6:52  Type
testdata/complex.lc 6:51-6:52  Repr | V3
testdata/complex.lc 8:20-8:27  Repr->Type
testdata/complex.lc 8:20-8:29  Type
testdata/complex.lc 8:20-8:37  Type
testdata/complex.lc 8:28-8:29  V1
testdata/complex.lc 8:33-8:37  Type
testdata/complex.lc 9:1-9:5  {a:Repr} -> Complex a -> Repr
testdata/complex.lc 9:13-9:14  Complex V0 -> Repr | Repr | {a:Repr} -> Complex a -> Repr
testdata/complex.lc 11:11-11:16  Type
testdata/complex.lc 11:20-11:25  Type
testdata/complex.lc 11:20-11:43  Type
testdata/complex.lc 11:29-11:36  Repr->Type
testdata/complex.lc 11:29-11:43  Type
testdata/complex.lc 11:37-11:43  Repr
testdata/complex.lc 12:1-12:7  Float -> Float -> Complex 'Normal
testdata/complex.lc 12:14-12:21  {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 12:14-12:23  Float -> Complex V1
testdata/complex.lc 12:14-12:25  Complex 'Normal | Float -> Complex 'Normal | Float -> Float -> Complex 'Normal
testdata/complex.lc 12:22-12:23  Float
testdata/complex.lc 12:24-12:25  Float
testdata/complex.lc 14:10-14:15  Type
testdata/complex.lc 14:19-14:24  Type
testdata/complex.lc 14:19-14:41  Type
testdata/complex.lc 14:28-14:35  Repr->Type
testdata/complex.lc 14:28-14:41  Type
testdata/complex.lc 14:36-14:41  Repr
testdata/complex.lc 15:1-15:6  Float -> Float -> Complex 'Polar
testdata/complex.lc 15:13-15:20  {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 15:13-15:22  Float -> Complex V1
testdata/complex.lc 15:13-15:24  Complex 'Polar | Float -> Complex 'Polar | Float -> Float -> Complex 'Polar
testdata/complex.lc 15:21-15:22  Float
testdata/complex.lc 15:23-15:24  Float
testdata/complex.lc 18:20-18:27  Repr->Type
testdata/complex.lc 18:20-18:29  Type
testdata/complex.lc 18:20-18:38  Type
testdata/complex.lc 18:28-18:29  V1
testdata/complex.lc 18:33-18:38  Type
testdata/complex.lc 19:1-19:5  {a:Repr} -> Complex a -> Float
testdata/complex.lc 19:7-19:13  Repr
testdata/complex.lc 19:7-20:34  Complex V0 -> Float | Float | {a:Repr} -> Complex a -> Float
testdata/complex.lc 19:23-19:26  Complex V3
testdata/complex.lc 19:23-19:49  Float
testdata/complex.lc 19:23-20:34  Repr->Float
testdata/complex.lc 19:33-19:37  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 19:33-19:49  Float | Float -> Float->V3 | Float->V3
testdata/complex.lc 19:38-19:49  Float
testdata/complex.lc 19:39-19:40  Float
testdata/complex.lc 19:39-19:41  Float->Float
testdata/complex.lc 19:39-19:42  Float
testdata/complex.lc 19:39-19:44  Float->Float
testdata/complex.lc 19:40-19:41  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 19:41-19:42  Float
testdata/complex.lc 19:43-19:44  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 19:45-19:46  Float
testdata/complex.lc 19:45-19:47  Float->Float
testdata/complex.lc 19:45-19:48  Float
testdata/complex.lc 19:46-19:47  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 19:47-19:48  Float
testdata/complex.lc 20:23-20:29  Complex V2
testdata/complex.lc 20:23-20:34  Float
testdata/complex.lc 20:33-20:34  Float | Float -> Float->V3 | Float->V3
testdata/complex.lc 22:12-22:19  Repr->Type
testdata/complex.lc 22:12-22:26  Type
testdata/complex.lc 22:20-22:26  Repr
testdata/complex.lc 22:30-22:37  Repr->Type
testdata/complex.lc 22:30-22:43  Type
testdata/complex.lc 22:38-22:43  Repr
testdata/complex.lc 23:1-23:8  Complex 'Normal -> Complex 'Polar
testdata/complex.lc 23:18-23:21  Complex 'Normal
testdata/complex.lc 23:18-31:25  Complex 'Normal -> Complex 'Polar | Complex 'Polar
testdata/complex.lc 24:8-29:17  Complex 'Polar
testdata/complex.lc 24:8-31:25  Float -> Float->V3 | Float->V3
testdata/complex.lc 24:11-24:12  Float
testdata/complex.lc 24:11-24:14  Float->Bool
testdata/complex.lc 24:11-24:19  Bool
testdata/complex.lc 24:11-24:59  Complex 'Polar -> Complex 'Polar
testdata/complex.lc 24:13-24:14  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 24:16-24:19  Float
testdata/complex.lc 24:37-24:42  Float -> Float -> Complex 'Polar
testdata/complex.lc 24:37-24:44  Float -> Complex 'Polar
testdata/complex.lc 24:37-24:59  Complex 'Polar
testdata/complex.lc 24:43-24:44  Float
testdata/complex.lc 24:45-24:59  Float
testdata/complex.lc 24:46-24:50  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 24:51-24:58  Float
testdata/complex.lc 24:52-24:53  Float
testdata/complex.lc 24:52-24:55  Float->Float
testdata/complex.lc 24:54-24:55  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
testdata/complex.lc 24:56-24:57  Float
testdata/complex.lc 25:8-29:17  Complex 'Polar
testdata/complex.lc 25:11-25:12  Float
testdata/complex.lc 25:11-25:14  Float->Bool
testdata/complex.lc 25:11-25:19  Bool
testdata/complex.lc 25:11-25:22  Bool->Bool
testdata/complex.lc 25:11-25:31  Bool
testdata/complex.lc 25:11-25:64  Complex 'Polar -> Complex 'Polar
testdata/complex.lc 25:13-25:14  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 25:16-25:19  Float
testdata/complex.lc 25:20-25:22  Bool -> Bool->Bool
testdata/complex.lc 25:23-25:24  Float
testdata/complex.lc 25:23-25:27  Float->Bool
testdata/complex.lc 25:23-25:31  Bool
testdata/complex.lc 25:25-25:27  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 25:28-25:31  Float
testdata/complex.lc 25:37-25:42  Float -> Float -> Complex 'Polar
testdata/complex.lc 25:37-25:44  Float -> Complex 'Polar
testdata/complex.lc 25:37-25:64  Complex 'Polar
testdata/complex.lc 25:43-25:44  Float
testdata/complex.lc 25:45-25:64  Float
testdata/complex.lc 25:46-25:50  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 25:46-25:58  Float
testdata/complex.lc 25:46-25:60  Float->Float
testdata/complex.lc 25:51-25:58  Float
testdata/complex.lc 25:52-25:53  Float
testdata/complex.lc 25:52-25:55  Float->Float
testdata/complex.lc 25:54-25:55  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
testdata/complex.lc 25:56-25:57  Float
testdata/complex.lc 25:59-25:60  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 25:61-25:63  Float
testdata/complex.lc 26:8-29:17  Complex 'Polar
testdata/complex.lc 26:11-26:12  Float
testdata/complex.lc 26:11-26:14  Float->Bool
testdata/complex.lc 26:11-26:19  Bool
testdata/complex.lc 26:11-26:22  Bool->Bool
testdata/complex.lc 26:11-26:31  Bool
testdata/complex.lc 26:11-26:64  Complex 'Polar -> Complex 'Polar
testdata/complex.lc 26:13-26:14  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 26:16-26:19  Float
testdata/complex.lc 26:20-26:22  Bool -> Bool->Bool
testdata/complex.lc 26:23-26:24  Float
testdata/complex.lc 26:23-26:26  Float->Bool
testdata/complex.lc 26:23-26:31  Bool
testdata/complex.lc 26:25-26:26  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 26:28-26:31  Float
testdata/complex.lc 26:37-26:42  Float -> Float -> Complex 'Polar
testdata/complex.lc 26:37-26:44  Float -> Complex 'Polar
testdata/complex.lc 26:37-26:64  Complex 'Polar
testdata/complex.lc 26:43-26:44  Float
testdata/complex.lc 26:45-26:64  Float
testdata/complex.lc 26:46-26:50  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 26:46-26:58  Float
testdata/complex.lc 26:46-26:60  Float->Float
testdata/complex.lc 26:51-26:58  Float
testdata/complex.lc 26:52-26:53  Float
testdata/complex.lc 26:52-26:55  Float->Float
testdata/complex.lc 26:54-26:55  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
testdata/complex.lc 26:56-26:57  Float
testdata/complex.lc 26:59-26:60  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 26:61-26:63  Float
testdata/complex.lc 27:8-29:17  Complex 'Polar
testdata/complex.lc 27:11-27:12  Float
testdata/complex.lc 27:11-27:15  Float->Bool
testdata/complex.lc 27:11-27:19  Bool
testdata/complex.lc 27:11-27:22  Bool->Bool
testdata/complex.lc 27:11-27:31  Bool
testdata/complex.lc 27:11-27:56  Complex 'Polar -> Complex 'Polar
testdata/complex.lc 27:13-27:15  {a} -> {b : Eq a} -> a -> a->Bool
testdata/complex.lc 27:16-27:19  Float
testdata/complex.lc 27:20-27:22  Bool -> Bool->Bool
testdata/complex.lc 27:23-27:24  Float
testdata/complex.lc 27:23-27:27  Float->Bool
testdata/complex.lc 27:23-27:31  Bool
testdata/complex.lc 27:25-27:27  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 27:28-27:31  Float
testdata/complex.lc 27:37-27:42  Float -> Float -> Complex 'Polar
testdata/complex.lc 27:37-27:44  Float -> Complex 'Polar
testdata/complex.lc 27:37-27:56  Complex 'Polar
testdata/complex.lc 27:43-27:44  Float
testdata/complex.lc 27:45-27:56  Float
testdata/complex.lc 27:47-27:49  Float
testdata/complex.lc 27:47-27:51  Float->Float
testdata/complex.lc 27:50-27:51  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
testdata/complex.lc 27:52-27:55  Float
testdata/complex.lc 28:8-29:17  Complex 'Polar
testdata/complex.lc 28:11-28:12  Float
testdata/complex.lc 28:11-28:15  Float->Bool
testdata/complex.lc 28:11-28:19  Bool
testdata/complex.lc 28:11-28:22  Bool->Bool
testdata/complex.lc 28:11-28:31  Bool
testdata/complex.lc 28:11-28:56  Complex 'Polar -> Complex 'Polar
testdata/complex.lc 28:13-28:15  {a} -> {b : Eq a} -> a -> a->Bool
testdata/complex.lc 28:16-28:19  Float
testdata/complex.lc 28:20-28:22  Bool -> Bool->Bool
testdata/complex.lc 28:23-28:24  Float
testdata/complex.lc 28:23-28:26  Float->Bool
testdata/complex.lc 28:23-28:31  Bool
testdata/complex.lc 28:25-28:26  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 28:28-28:31  Float
testdata/complex.lc 28:37-28:42  Float -> Float -> Complex 'Polar
testdata/complex.lc 28:37-28:44  Float -> Complex 'Polar
testdata/complex.lc 28:37-28:56  Complex 'Polar
testdata/complex.lc 28:43-28:44  Float
testdata/complex.lc 28:45-28:56  Float
testdata/complex.lc 28:46-28:47  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 28:47-28:49  Float
testdata/complex.lc 28:47-28:51  Float->Float
testdata/complex.lc 28:47-28:55  Float
testdata/complex.lc 28:50-28:51  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
testdata/complex.lc 28:52-28:55  Float
testdata/complex.lc 29:8-29:17  Complex 'Polar
testdata/complex.lc 31:9-31:13  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 31:9-31:25  Float
testdata/complex.lc 31:14-31:25  Float
testdata/complex.lc 31:15-31:16  Float
testdata/complex.lc 31:15-31:17  Float->Float
testdata/complex.lc 31:15-31:18  Float
testdata/complex.lc 31:15-31:20  Float->Float
testdata/complex.lc 31:16-31:17  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 31:17-31:18  Float
testdata/complex.lc 31:19-31:20  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 31:21-31:22  Float
testdata/complex.lc 31:21-31:23  Float->Float
testdata/complex.lc 31:21-31:24  Float
testdata/complex.lc 31:22-31:23  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 31:23-31:24  Float
testdata/complex.lc 64:13-64:20  Repr->Type
testdata/complex.lc 64:13-64:26  Type
testdata/complex.lc 64:21-64:26  Repr
testdata/complex.lc 64:30-64:37  Repr->Type
testdata/complex.lc 64:30-64:44  Type
testdata/complex.lc 64:38-64:44  Repr
testdata/complex.lc 65:1-65:9  Complex 'Polar -> Complex 'Normal
testdata/complex.lc 65:19-65:24  Complex 'Polar
testdata/complex.lc 65:19-65:63  Complex 'Polar -> Complex 'Normal | Complex V0
testdata/complex.lc 65:28-65:35  {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 65:28-65:49  Float -> Complex V1
testdata/complex.lc 65:28-65:63  Complex V0 | Float -> Float->V3 | Float->V3
testdata/complex.lc 65:36-65:49  Float
testdata/complex.lc 65:37-65:38  Float
testdata/complex.lc 65:37-65:40  Float->Float
testdata/complex.lc 65:39-65:40  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 65:41-65:44  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 65:41-65:48  Float
testdata/complex.lc 65:45-65:48  Float
testdata/complex.lc 65:50-65:63  Float
testdata/complex.lc 65:51-65:52  Float
testdata/complex.lc 65:51-65:54  Float->Float
testdata/complex.lc 65:53-65:54  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 65:55-65:58  {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a
testdata/complex.lc 65:55-65:62  Float
testdata/complex.lc 65:59-65:62  Float
testdata/complex.lc 111:1-111:15  {a:Repr} -> Complex a -> Float
testdata/complex.lc 111:25-111:34  V2
testdata/complex.lc 111:25-111:39  Float
testdata/complex.lc 111:38-111:39  Float | Float -> Float->V3 | Float->V3
testdata/complex.lc 113:20-113:70  Type
testdata/complex.lc 113:32-113:39  Repr->Type
testdata/complex.lc 113:32-113:42  Type
testdata/complex.lc 113:32-113:70  Type
testdata/complex.lc 113:40-113:42  V3
testdata/complex.lc 113:46-113:53  Repr->Type
testdata/complex.lc 113:46-113:56  Type
testdata/complex.lc 113:46-113:70  Type
testdata/complex.lc 113:54-113:56  V2
testdata/complex.lc 113:60-113:67  Repr->Type
testdata/complex.lc 113:60-113:70  Type
testdata/complex.lc 113:68-113:70  Repr
testdata/complex.lc 114:1-114:4  {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 114:6-114:12  Repr
testdata/complex.lc 114:6-114:74  Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 114:14-114:20  Repr
testdata/complex.lc 114:14-114:74  Complex V0
testdata/complex.lc 114:30-114:33  Complex V7
testdata/complex.lc 114:30-114:74  Complex V0
testdata/complex.lc 114:44-114:47  Complex V10
testdata/complex.lc 114:44-114:74  Complex V0 | Float -> Float->V3 | Float->V3
testdata/complex.lc 114:51-114:58  {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 114:51-114:66  Float -> Complex V1
testdata/complex.lc 114:51-114:74  Complex V0 | Float -> Float->V3 | Float->V3
testdata/complex.lc 114:59-114:66  Float
testdata/complex.lc 114:60-114:61  Float
testdata/complex.lc 114:60-114:63  Float->Float
testdata/complex.lc 114:62-114:63  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 114:64-114:65  Float
testdata/complex.lc 114:67-114:74  Float
testdata/complex.lc 114:68-114:69  Float
testdata/complex.lc 114:68-114:71  Float->Float
testdata/complex.lc 114:70-114:71  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 114:72-114:73  Float
testdata/complex.lc 128:23-128:30  Repr->Type
testdata/complex.lc 128:23-128:33  Type
testdata/complex.lc 128:23-128:61  Type
testdata/complex.lc 128:31-128:33  V3
testdata/complex.lc 128:37-128:44  Repr->Type
testdata/complex.lc 128:37-128:47  Type
testdata/complex.lc 128:37-128:61  Type
testdata/complex.lc 128:45-128:47  V2
testdata/complex.lc 128:51-128:58  Repr->Type
testdata/complex.lc 128:51-128:61  Type
testdata/complex.lc 128:59-128:61  Repr
testdata/complex.lc 129:1-129:4  {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 129:6-129:12  Repr
testdata/complex.lc 129:6-129:82  Complex V1 -> Complex V1 -> Complex V3 | Complex V1 -> Complex V3 | Complex V3 | {a:Repr} -> Complex V1 -> Complex a -> Complex V3 | {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 129:14-129:20  Repr
testdata/complex.lc 129:14-129:82  Complex V0
testdata/complex.lc 129:30-129:33  Complex V7
testdata/complex.lc 129:30-129:82  Complex V0
testdata/complex.lc 129:44-129:47  Complex V10
testdata/complex.lc 129:44-129:82  Complex V0 | Float -> Float->V3 | Float->V3
testdata/complex.lc 129:51-129:58  {a:Repr} -> Float -> Float -> Complex a
testdata/complex.lc 129:51-129:70  Float -> Complex V1
testdata/complex.lc 129:51-129:82  Complex V0 | Float -> Float->V3 | Float->V3
testdata/complex.lc 129:59-129:70  Float
testdata/complex.lc 129:60-129:61  Float
testdata/complex.lc 129:60-129:62  Float->Float
testdata/complex.lc 129:60-129:63  Float
testdata/complex.lc 129:60-129:65  Float->Float
testdata/complex.lc 129:61-129:62  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:62-129:63  Float
testdata/complex.lc 129:64-129:65  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:66-129:67  Float
testdata/complex.lc 129:66-129:68  Float->Float
testdata/complex.lc 129:66-129:69  Float
testdata/complex.lc 129:67-129:68  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:68-129:69  Float
testdata/complex.lc 129:71-129:82  Float
testdata/complex.lc 129:72-129:73  Float
testdata/complex.lc 129:72-129:74  Float->Float
testdata/complex.lc 129:72-129:75  Float
testdata/complex.lc 129:72-129:77  Float->Float
testdata/complex.lc 129:73-129:74  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:74-129:75  Float
testdata/complex.lc 129:76-129:77  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:78-129:79  Float
testdata/complex.lc 129:78-129:80  Float->Float
testdata/complex.lc 129:78-129:81  Float
testdata/complex.lc 129:79-129:80  {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a
testdata/complex.lc 129:80-129:81  Float
testdata/complex.lc 137:6-137:13  Repr->Type
testdata/complex.lc 137:6-137:15  Type
testdata/complex.lc 137:6-137:28  Type
testdata/complex.lc 137:14-137:15  V1
testdata/complex.lc 137:19-137:26  Repr->Type
testdata/complex.lc 137:19-137:28  Type
testdata/complex.lc 137:27-137:28  Repr
testdata/complex.lc 138:1-138:2  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 138:7-138:16  Complex V2
testdata/complex.lc 138:7-138:22  Complex V0 -> Complex V3
testdata/complex.lc 138:7-138:24  Complex V0 -> Complex V1 | Complex V1
testdata/complex.lc 138:8-138:11  {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 138:8-138:13  Complex V0 -> Complex V5
testdata/complex.lc 138:12-138:13  Complex V5
testdata/complex.lc 138:14-138:15  Complex V3
testdata/complex.lc 138:17-138:22  {a:Repr} -> {b:Repr} -> Complex a -> Complex b -> Complex a
testdata/complex.lc 138:23-138:24  Complex V2
testdata/complex.lc 141:1-141:3  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 141:8-141:9  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 141:8-141:23  Complex V0
testdata/complex.lc 141:10-141:23  Complex V0
testdata/complex.lc 141:11-141:12  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 141:13-141:22  Complex V0
testdata/complex.lc 141:14-141:15  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 141:16-141:21  Complex V0
testdata/complex.lc 141:17-141:18  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 141:19-141:20  V5
testdata/complex.lc 143:1-143:5  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 143:8-143:10  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 145:1-145:7  {a:Repr} -> Complex a -> Bool
testdata/complex.lc 145:12-145:16  {a:Repr} -> Complex a -> Float
testdata/complex.lc 145:12-145:25  Float
testdata/complex.lc 145:12-145:27  Float->Bool
testdata/complex.lc 145:12-145:31  Bool
testdata/complex.lc 145:17-145:25  Complex V0
testdata/complex.lc 145:18-145:22  {a:Repr} -> Complex a -> Complex a
testdata/complex.lc 145:23-145:24  V6
testdata/complex.lc 145:26-145:27  {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b Bool
testdata/complex.lc 145:28-145:31  Float