was used to limit the range or acceptable … attributes given in the specification. [eg 'scheme SymbolTable (...maxEntries: integer 'needs (maxEntries 'in 11..1000) Needs specification allows restricting a variable without defining a new type]
Google-1
Google-2
Copyright clearance needed for quotation.