You can search for identifiers within the package.
in-package search v0.2.0
type state
type semantic_value
type 'a checkpoint
val start : state -> Lexing.position -> semantic_value checkpoint