You can search for identifiers within the package.
in-package search v0.2.0
serlib_number_string_notation_plugin
Serlib_number_string_notation_plugin
module Ser_g_number_syntax : sig ... end
module Ser_number : sig ... end