You can search for identifiers within the package.
in-package search v0.2.0
codex.terms
Make.Utils
val get_term : 'a t -> 'a complete_term