You can search for identifiers within the package.
in-package search v0.2.0
type 'v witness
val create : unit -> 'v witness
val tid : 'v witness -> 'v Witness.t
type t
val hide_type : 'v witness -> t
val equal : t -> t -> bool
val compare : t -> t -> int