You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Terms.SUPER_TERMS
val iter_on_superterms : 'a t -> (any -> unit) -> unit