You can search for identifiers within the package.
in-package search v0.2.0
coq-lsp.serlib
Ser_libobject.ExportObj
type t = Libobject.ExportObj.t = {
mpl : (open_filter * Names.ModPath.t) list;
}
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t