You can search for identifiers within the package.
in-package search v0.2.0
type token =
| TResult
| TValue
| TSat
| TUnsat
| TString of string
| TNumber of int
| TEOL
val program : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Satsolutionparserhelper.parsedSolution