You can search for identifiers within the package.
in-package search v0.2.0
Multi-sets.
module M : Map.S
val merge : counter M.t t