Number_string_notation_plugin.G_number_stringval wit_number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) Genarg.vernac_genarg_typeval number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) Procq.Entry.tval wit_number_string_via : Number_string.number_string_via Genarg.vernac_genarg_typeval number_string_via : Number_string.number_string_via Procq.Entry.tval wit_number_modifier : Number_string.number_option Genarg.vernac_genarg_typeval number_modifier : Number_string.number_option Procq.Entry.tval wit_number_options : Number_string.number_option list Genarg.vernac_genarg_typeval number_options : Number_string.number_option list Procq.Entry.tval wit_string_option : Number_string.number_string_via Genarg.vernac_genarg_typeval string_option : Number_string.number_string_via Procq.Entry.t