You can search for identifiers within the package.
in-package search v0.2.0
type t = pat_construction
val compare : pat_construction -> pat_construction -> int