You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib_extra
Serlib_extra.Ser_stm
type focus = Stm.focus
val sexp_of_focus : focus -> Sexplib0.Sexp.t
val focus_of_sexp : Sexplib0.Sexp.t -> focus
type add_focus = Stm.add_focus
val sexp_of_add_focus : add_focus -> Sexplib0.Sexp.t
val add_focus_of_sexp : Sexplib0.Sexp.t -> add_focus