(destructuring-bind (element-type &optional (length '*))
(rest (type-expand-to 'vector type))
(if (constantp length)
`(vector ,(return-type element-type) ,length)
`(vector ,(return-type element-type) *))))
(destructuring-bind (element-type &optional (length '*))
(rest (type-expand-to 'vector type))
(if (constantp length)
`(vector ,(return-type element-type) ,length)
`(vector ,(return-type element-type) *))))