You can search for identifiers within the package.
in-package search v0.2.0
type valu
val eval_address : Env.address -> valu
exception Error
val same_value : valu -> valu -> bool