Question on function type spec and lambda-list keywords

[RpK%acorn@oak.lcs.mit.edu]

Is the ftype of +

  (function (&rest number) number)

or

  (function (&rest list) number)

  ?

I would assume the former (since &rest args are always of type list), but
there aren't any examples in CLtL that make this clear.