You can search for identifiers within the package.
in-package search v0.2.0
type ('index, 'sequences, 'sequence, 'subsequences) t =
| [] : (_, unit, unit, unit) t
type ('index, 'sequences, 'subsequences) some =
| Some : ('index, 'sequences, 'sequence, 'subsequences) t -> ('index, 'sequences, 'subsequences) some