You can search for identifiers within the package.
in-package search v0.2.0
module _ : Parameters
val diff : D.state -> D.left list -> D.right list -> patch