You can search for identifiers within the package.
in-package search v0.2.0
module W : GENSYM
type +'a t
val register : W.t -> extension_constructor -> unit
val wrap : 'a -> 'a t
val unwrap : 'a t -> 'a
val witness : 'a t -> W.t