You can search for identifiers within the package.
in-package search v0.2.0
extraction_plugin
Extraction_plugin.G_extraction
val wit_int_or_id : Table.int_or_id Genarg.vernac_genarg_type
val wit_language : Table.lang Genarg.vernac_genarg_type
val wit_mlname : string Genarg.vernac_genarg_type