You can search for identifiers within the package.
in-package search v0.2.0
serlib_ltac
Serlib_ltac
module Ser_rewrite : sig ... end
module Ser_tacarg : sig ... end
module Ser_tacentries : sig ... end
module Ser_tacenv : sig ... end
module Ser_tacexpr : sig ... end