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