You can search for identifiers within the package.
in-package search v0.2.0
grenier.valmari
Minimize.Final
type domain
val domain : domain Strong.Finite.set
type codomain = States.n Strong.Finite.elt
val get : domain Strong.Finite.elt -> codomain