G_number_string (coq-core.Number_string_notation_plugin.G_number

val wit_number_string_mapping : 
  ( bool * Libnames.qualid * Libnames.qualid, unit, unit ) Genarg.genarg_type

val number_string_mapping : 
  (bool * Libnames.qualid * Libnames.qualid) Pcoq.Entry.t

val wit_number_string_via : 
  ( Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list,
    unit,
    unit )
    Genarg.genarg_type

val number_string_via : 
  (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list)
    Pcoq.Entry.t

val wit_number_modifier : 
  ( Number.number_option, unit, unit ) Genarg.genarg_type

val number_modifier : Number.number_option Pcoq.Entry.t

val wit_number_options : 
  ( Number.number_option list, unit, unit ) Genarg.genarg_type

val number_options : Number.number_option list Pcoq.Entry.t

val wit_string_option : 
  ( Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list,
    unit,
    unit )
    Genarg.genarg_type

val string_option : 
  (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list)
    Pcoq.Entry.t