You can search for identifiers within the package.
in-package search v0.2.0
val tree_eq : tree -> tree -> bool
val tree_proof_eq : tree t -> tree t -> bool