You can search for identifiers within the package.
in-package search v0.2.0
type 'a k
and 'a v
val mapv : ('a -> 'b) -> 'a v -> 'b v