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 PrimNotations.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