You can search for identifiers within the package.
in-package search v0.2.0
val gram_reinit : te Plexing.lexer -> unit
val clear_entry : 'a Entry.e -> unit