You can search for identifiers within the package.
in-package search v0.2.0
type 'a x = 'a
type 'sequence t =
| [] : unit t
| :: : 'hd x * 'tl t -> ('hd * 'tl) t