You can search for identifiers within the package.
in-package search v0.2.0
forester.core
Core.Eval
val eval_tree : Syn.tree -> Sem.tree