You can search for identifiers within the package.
in-package search v0.2.0
type e
type w
val wunit : w
val wprod : w -> w -> w
type s
type u
val uunit : u