main is not found
------------ trace
value1 :: {a} -> {b : 'Num a}->a
value2 :: {a} -> {b : 'Num a}->a
value3 :: {a} -> {b : 'Num a}->a
value4 :: {a} -> {b : 'Num a}->a
value5 :: {a} -> {b : 'Num a}->a
------------ tooltips
testdata/language-features/basic-values/let01.lc 1:1-1:7  {a} -> {b : Num a}->a
testdata/language-features/basic-values/let01.lc 1:18-1:19  V1
testdata/language-features/basic-values/let01.lc 1:23-1:24  V1
testdata/language-features/basic-values/let01.lc 3:1-3:7  {a} -> {b : Num a}->a
testdata/language-features/basic-values/let01.lc 4:11-4:12  V1
testdata/language-features/basic-values/let01.lc 5:6-5:7  V1
testdata/language-features/basic-values/let01.lc 7:1-7:7  {a} -> {b : Num a}->a
testdata/language-features/basic-values/let01.lc 8:11-8:12  V1
testdata/language-features/basic-values/let01.lc 9:11-9:14  Char
testdata/language-features/basic-values/let01.lc 10:6-10:7  V1
testdata/language-features/basic-values/let01.lc 12:1-12:7  {a} -> {b : Num a}->a
testdata/language-features/basic-values/let01.lc 12:18-12:19  V1
testdata/language-features/basic-values/let01.lc 13:13-13:14  V1
testdata/language-features/basic-values/let01.lc 15:1-15:7  {a} -> {b : Num a}->a
testdata/language-features/basic-values/let01.lc 15:18-15:19  V1
testdata/language-features/basic-values/let01.lc 16:18-16:19  V1
testdata/language-features/basic-values/let01.lc 17:13-17:14  V1