You can search for identifiers within the package.
in-package search v0.2.0
type 'a t =
| D1 : Base.int -> _1d t
| D2 : Base.int * Base.int -> _2d t
| D3 : Base.int * Base.int * Base.int -> _3d t