You can search for identifiers within the package.
in-package search v0.2.0
module Make (M : S) : State.S with type 'a result = 'a M.t