You can search for identifiers within the package.
in-package search v0.2.0
codex.domains
Make.Integer_Query
module Integer_Lattice : Sig.Integer_Lattice
val query : Context.t -> integer -> Integer_Lattice.t