You can search for identifiers within the package.
in-package search v0.2.0
type error
type tag
type environment
val policy : (tag * 'a) list -> environment -> (tag * 'a) list