You can search for identifiers within the package.
in-package search v0.2.0
val gen_used_types : Soc.t list -> Data.t list
val f : Data.t -> string
val f_forloop : Data.t -> string