In some cases it is useful to refer to all arguments equally as a single aggregation using a rest parameter while at the same time requiring at least one argument. A variety of imperative and declarative means are available in code for expressing such a restriction, however they generally do not manifest themselves in a lambda list. For descriptive purposes within this specification,
F {&rest arguments^+}
means the same as
F {&rest arguments}
but introduces the additional requirement that there be at least one argument.
Go to the first, previous, next, last section, table of contents.