You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib
Serlib.Ser_class_tactics
type search_strategy = Class_tactics.search_strategy
val search_strategy_of_sexp : Sexplib.Sexp.t -> search_strategy
val sexp_of_search_strategy : search_strategy -> Sexplib.Sexp.t