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