Scieneer Common Lisp 1.3.9 online documentation

the &rest rest[Special Form]

the type form

Assert that form evaluates to the specified type - which may be a values type.