Module Numeral_notation_plugin.Numeral
val vernac_numeral_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> Notation_term.scope_name -> Notation.numnot_option -> unit
Numeral_notation_plugin.Numeralval vernac_numeral_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> Notation_term.scope_name -> Notation.numnot_option -> unit