From catalog/rfc8259-json-object.abnf rule: int

Definition

int = zero / (digit1-9 *DIGIT)

zero = %x30

digit1-9 = %x31-39

Info

Rulename
int
Dependencies
DIGIT, digit1-9, zero, int
Used Builtins
DIGIT

Alphabet

Translations

Railroad Diagram

int zero digit1-9 DIGIT

Swift Regular Expression

[1-9][0-9]*|0

POSIX Extended Regular Expression

[1-9][0-9]*|0