main is not found
------------ trace
!@! :: {a} -> {b} -> a -> b->()
value1 :: {a} -> {b} -> a -> b->()
value2 :: {a} -> {b} -> a -> b->()
------------ tooltips
testdata/language-features/section/section01.lc 1:3-1:6  {a} -> {b} -> a -> b->()
testdata/language-features/section/section01.lc 1:11-1:13  ()
testdata/language-features/section/section01.lc 3:1-3:7  {a} -> {b} -> a -> b->()
testdata/language-features/section/section01.lc 3:13-3:14  f_
testdata/language-features/section/section01.lc 3:13-3:18  a_->()
testdata/language-features/section/section01.lc 3:15-3:18  {a} -> {b} -> a -> b->()
testdata/language-features/section/section01.lc 5:1-5:7  {a} -> {b} -> a -> b->()
testdata/language-features/section/section01.lc 5:13-5:16  {a} -> {b} -> a -> b->()
testdata/language-features/section/section01.lc 5:13-5:18  ()
testdata/language-features/section/section01.lc 5:17-5:18  e_