You can search for identifiers within the package.
in-package search v0.2.0
serlib_extraction
Serlib_extraction
module Ser_g_extraction : sig ... end