Процедурным типом называется тип указателя на подпрограмму. На языке C++ для его объявления пишется typedef, потом тип возвращаемого значения, потом в скобках звёздочка (символ *) и имя типа, потом ещё в одних скобках список типов формальных параметров, без указания их имён. Декларация завершается точкой с запятой. Пример:
typedef int(*p)(int); // Тип возвращаемого значения int, тип единственного параметра int, имя типа указателя на функцию p
.