Scieneer Common Lisp 1.3.9 online documentation

ext:*derive-function-types*[Variable]

If true, argument and result type information derived from compilation of defun's is used when compiling calls to that function. If false, only information from ftype proclamations will be used.