You can search for identifiers within the package.
in-package search v0.2.0
type 'a t =
| :: : 'a * 'a list -> 'a t