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.