You can search for identifiers within the package.
in-package search v0.2.0
val ty_of_cast : 'a Ty.cast -> Ty.t
val v : 'a Ty.cast -> 'a -> t
val not : 'a Ty.cast -> t -> t