You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Convert_Boolean_Forward.C
module From : Context
module To : Context
val convert : From.t -> To.t