It can be read as the function factorial (factorial) has type (::) from integer to integer (Integer -> Integer).
Эта строка может быть прочитана как: функция fac имеет тип (::) из целого в целое (Integer -> Integer).