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