You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib
Serlib.Ser_retroknowledge
type retroknowledge = Retroknowledge.retroknowledge
val sexp_of_retroknowledge : retroknowledge -> Sexplib.Sexp.t
val retroknowledge_of_sexp : Sexplib.Sexp.t -> retroknowledge
type action = Retroknowledge.action
val sexp_of_action : action -> Sexplib.Sexp.t
val action_of_sexp : Sexplib.Sexp.t -> action