Module `Extraction_plugin.G_extraction`

val wit_int_or_id : (Table.int_or_id, Table.int_or_id, Table.int_or_id) Genarg.genarg_type
val wit_language : (Table.lang, unit, unit) Genarg.genarg_type
val wit_mlname : (string, string, string) Genarg.genarg_type