You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib
Serlib.Ser_reduction
type conv_pb = Reduction.conv_pb
val conv_pb_of_sexp : Sexplib.Sexp.t -> conv_pb
val sexp_of_conv_pb : conv_pb -> Sexplib.Sexp.t