You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib
Ser_summary.Interp
type frozen = Summary.Interp.frozen
val frozen_of_sexp : Sexplib.Sexp.t -> 'a
val sexp_of_frozen : 'a -> Sexplib.Sexp.t