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