You can search for identifiers within the package.
in-package search v0.2.0
exception Parse_error of string
type pattern =
| Epsilon
| Star of pattern
| Class of character_class
| Concat of pattern * pattern
| Union of pattern list
| Word of string
and character_class = (char * char) Formula.t
type 'pattern atom =
| Constant of string
| Pattern of 'pattern