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