You can search for identifiers within the package.
in-package search v0.2.0
fix
Eq.M
type t
include CARDINAL
type n
val n : n cardinal