You can search for identifiers within the package.
in-package search v0.2.0
kappa-library.generic
Kappa_data_structures.DynamicArray
module DynArray (_ : GenArray.GenArray) : GenArray.GenArray