You can search for identifiers within the package.
in-package search v0.2.0
codex.lattices
Lattices.Bitvector_Of_Integer
module Make (I : sig ... end) : sig ... end