You can search for identifiers within the package.
in-package search v0.2.0
lascar.utils
Pair.M2
type t
val to_string : t -> string