МР>А что имеется ввиду под entities of function type — имеется ввиду бинарное представление или текст функции в программе?

МР>С одной стороны бинарного представления функции могут не иметь. С другой стороны может быть указатель на функцию.

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