- The @<lists> parameter is a list consisting of a number of @|(@<args>
- . @<origin>)| pairs: in each pair, @<args> is a list of
- \descref{argument}{cls} objects, and @<origin> is either nil or an object
- whose printed representation describes the origin of the corresponding
- @<args> list, suitable for inclusion in an error message.
+ The @<lists> parameter is a list consisting of a number of @|(@<origin>
+ . @<args>)| pairs: in each pair, @<origin> is either nil or an object whose
+ printed representation describes the origin of the corresponding @<args>
+ list suitable for inclusion in an error message, and @<args> is a list of
+ \descref{argument}{cls} objects.