You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib
Serlib.Ser_constr_matching
type binding_bound_vars = Constr_matching.binding_bound_vars
val binding_bound_vars_of_sexp : Sexplib.Sexp.t -> binding_bound_vars
val sexp_of_binding_bound_vars : binding_bound_vars -> Sexplib.Sexp.t