Number_string (rocq-runtime.Number_string_notation_plugin.Number

type number_string_via = Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list

* Number notation

type number_option =

| After of Notation.numnot_option

| Via of number_string_via

val vernac_number_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> number_option list -> Notation_term.scope_name -> unit

* String notation

val vernac_string_notation : Vernacexpr.locality_flag -> Libnames.qualid -> Libnames.qualid -> Libnames.qualid -> number_string_via option -> Notation_term.scope_name -> unit