You can search for identifiers within the package.
in-package search v0.2.0
type cbv
type chunk
val cbv : chunk t -> cbv t