You can search for identifiers within the package.
in-package search v0.2.0
coq-serapi.serlib_extra
Serlib_extra
module Ser_coqargs : sig ... end
module Ser_stm : sig ... end
module Ser_xml_datatype : sig ... end