In ATS, (e_1, e_2, …, e_n) is used to represent a list of expressions,
which itself
is not a legal expression.
Sometimes, (e_1, e_2, …, e_n) is automatically elaborated into @(e_1,
e_2, …, e_n)
(depending on the context).
In ATS, (e_1, e_2, …, e_n) is used to represent a list of expressions,
which itself
is not a legal expression.
Sometimes, (e_1, e_2, …, e_n) is automatically elaborated into @(e_1,
e_2, …, e_n)
(depending on the context).