Вопрос Как проверить существование ТИПИЗИРОВАННОГО файла в pascal ABC?

на всякий случай: паскаль не оставляет в файле никаких метаданных вроде типа записываемых данных, а просто записывает в него сырые двоичные данные подряд так что если ты захочешь именно проверить файл на типизированность, у тебя это просто так не выйдет разве что какую-нибудь область синхронизации или хеши повставлять

Очевидно, функция FileExist принимает параметром строку, а не файл. Дай этой функции строку - имя файла.