You can search for identifiers within the package.
in-package search v0.2.0
val token : bool Pervasives.ref -> Lexing.lexbuf -> Tptp_parser.token