You can search for identifiers within the package.
in-package search v0.2.0
type 'reqd t = private {
reqd : 'reqd;
upgrade : impl -> unit;
}