You can search for identifiers within the package.
in-package search v0.2.0
rea
Rea.pure'of
pure capability projection.
pure
method pure' : ('R, 'e, 'a, 'D) pure'm