Функция проверки типов