You can search for identifiers within the package.
in-package search v0.2.0
indexRefine.ml
1 include Refine.Make(IndexSet)
1
include Refine.Make(IndexSet)