main is not found
------------ trace
value1 :: ()
------------ tooltips
testdata/language-features/basic-values/operator05.lc 1:1-1:7  ()
testdata/language-features/basic-values/operator05.lc 1:24-1:26  ()
testdata/language-features/basic-values/operator05.lc 2:13-2:15  ()
testdata/language-features/basic-values/operator05.lc 2:13-2:19  a_->()
testdata/language-features/basic-values/operator05.lc 2:13-2:22  ()
testdata/language-features/basic-values/operator05.lc 2:16-2:19  {a} -> {b} -> a -> b->()
testdata/language-features/basic-values/operator05.lc 2:20-2:22  ()