You can search for identifiers within the package.
in-package search v0.2.0
lambdapi.parsing
Parsing.DkParser
type token = DkTokens.token
exception Error
val line : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Syntax.p_command