You can search for identifiers within the package.
in-package search v0.2.0
module Keys : Auth_key
type verb =
| Get
| Post
| Put
| Delete
type resource =
| Dbs
| Colls
| Docs
| Users