digits_constraint ::= "digits" expression [ range_constraint ]
This rule is called by -> constraint
-> constraint
