Module `Numeral_notation_plugin.G_numeral`

val __coq_plugin_name : string
val pr_numnot_option : Notation.numnot_option -> Pp.t
val wit_numnotoption : (Notation.numnot_option, unit, unit) Genarg.genarg_type
val numnotoption : Notation.numnot_option Pcoq.Entry.t