Module Number_string_notation_plugin.G_number_string

val wit_number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) Genarg.vernac_genarg_type
val number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) Pcoq.Entry.t
val number_string_via : Number.number_string_via Pcoq.Entry.t
val number_modifier : Number.number_option Pcoq.Entry.t
val wit_number_options : Number.number_option list Genarg.vernac_genarg_type
val number_options : Number.number_option list Pcoq.Entry.t