You can search for identifiers within the package.
in-package search v0.2.0
caqti
Caqti_common
Prerequisites.
type counit
val absurd : counit -> 'a