main is not found
------------ trace
unit :: ()
fun1 :: {a} -> {b} -> {c : 'Num b} -> a->b
fun2 :: {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->'Char
------------ tooltips
testdata/language-features/basic-values/def01.lc 1:1-1:5  ()
testdata/language-features/basic-values/def01.lc 1:8-1:10  ()
testdata/language-features/basic-values/def01.lc 3:1-3:5  {a} -> {b} -> {c : Num b} -> a->b
testdata/language-features/basic-values/def01.lc 3:10-3:11  V1
testdata/language-features/basic-values/def01.lc 5:1-5:5  {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char
testdata/language-features/basic-values/def01.lc 5:18-5:21  Char