INTEGER

Definition:

INTEGER ::= DIGIT+

Used In: