Actually, an ftype declamation would probably just trigger the style warning earlier (at sbcl loading, not library loading time). I guess that setf of fdefinition should set the inferred ftype as well.
Actually, an ftype declamation would probably just trigger the style warning earlier (at sbcl loading, not library loading time). I guess that setf of fdefinition should set the inferred ftype as well.