You can search for identifiers within the package.
in-package search v0.2.0
module X : Base.T1
type witness1
type 'a witness = ('a, witness1) t
val inject : 'a X.t -> 'a witness
val project : 'a witness -> 'a X.t