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