You can search for identifiers within the package.
in-package search v0.2.0
type flavour = [
| `Rigid
| `Flexible
| `Recursive
]
type kind = CommonTypes.PrimaryKind.t
type scope = [
| `Free
| `Bound
type vars_list = (int * (flavour * kind * scope)) list