Используя Delphi 2010 ... У меня есть набор двоичных свойств, которые я хочу сгруппировать. Я определил это как таковое ... type TTableAttributeType = ( tabROOT = 1, tabONLINE = 2, tabPARTITIONED = 3,...

Я хотел бы рассуждать о функциях, которые выбирают один элемент из конечного множества. Я попытался определить предикат, который сообщает мне, является ли некоторая данная функция такой функцией «выбора»: definition chooser :: "('a set ⇒ 'a) ⇒...