You can search for identifiers within the package.
in-package search v0.2.0
type 'a exp
type 'a stm
type 'a mut
type (!_, !_) desc =
| Single : ('a exp, 'a mut) desc
| Tuple : ('a0 exp * 'b exp, 'a0 mut * 'b mut) desc