(check-type type (or symbol cons))
(cross-typep obj type)))
-(defparameter *universal-function-type*
- (make-function-type :wild-args t
- :returns *wild-type*))
-
(defun ctype-of (x)
(typecase x
(function
;; There's no ANSI way to find out what the function is
;; declared to be, so we just return the CTYPE for the
;; most-general function.
- *universal-function-type*))
+ *universal-fun-type*))
(symbol
(make-member-type :members (list x)))
(number