You can search for identifiers within the package.
in-package search v0.2.0
exception Grammar_error of string
type symbol =
| Terminal of string
| Nonterminal of string
| Repeat of symbol * int * int
type rule_alternative = {
weight : int;
symbols : symbol list;
}
type rule = string * rule_alternative list
type grammar = rule list
val reduce_symbol : ?debug:bool -> ?debug_fun:(string -> unit) -> symbol list -> grammar -> string option * symbol list