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) Pcoq.Entry.tval wit_number_string_via : Number_string.number_string_via Genarg.vernac_genarg_typeval number_string_via : Number_string.number_string_via Pcoq.Entry.tval wit_number_modifier : Number_string.number_option Genarg.vernac_genarg_typeval number_modifier : Number_string.number_option Pcoq.Entry.tval wit_number_options : Number_string.number_option list Genarg.vernac_genarg_typeval number_options : Number_string.number_option list Pcoq.Entry.tval wit_string_option : Number_string.number_string_via Genarg.vernac_genarg_typeval string_option : Number_string.number_string_via Pcoq.Entry.t