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 : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Satsolutionparserhelper.parsedSolution