(proclaim '(ftype (function (*) t) quot merror errrjf sort typep inf-signal mread $filename_merge $file_search mtell))