You can search for identifiers within the package.
in-package search v0.2.0
type token =
| VAR of char
| PRD of char
| LPAR
| RPAR
| ONE
| ZER
| PLS
| STR
| NEG
| EOF
| SEP
| LE
| EQ
| GT
val expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Kat.expr
val hyps : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Hypotheses.t