Date: Fri, 11 Dec 87 01:16 EST From: Brad Miller <miller@ACORN.CS.ROCHESTER.EDU> 1 How would you write a function declaration for the following? (defun foo (bar) (declare (type list bar)) (values-list bar) (proclaim '(function foo (list) ????)) 0I wouldn't. CL doesn't have any syntax for declaring a variable number of values, period.