Вы можете использовать команду directory . Аргументы pattern
позволяют вам отфильтровывать файлы с определенным расширением.
directory path ♥environment⟦USERPROFILE⟧\Desktop pattern *.txt result ♥files
dialog ♥files⟦count⟧
Приведенный выше код должен сообщить вам, сколько файлов с данным расширением существует в данном каталоге.
Вы можете взять значения из возвращенного списка и использовать их с командой file.exists
.