Re: Issue: FUNCTION-TYPE-REST-LIST-ELEMENT, FUNCTION-DECLARATION issues

[Masinter.pa@Xerox.COM]

Under the interpretation outlined in your message, it would not be valid to assume, given 

  (declare (function my-cons (float string) list) )

 that 
    (typep (my-cons x y) 'list) 

 can be assumed, unless it was also asserted (declare (float x) (string y))?