[flood]Нее, ну это уже нагло заявлено!!![/flood]
------------ Дoбавленo в 21.13:
Roma, были описаны порядковые (перечислимые) типы, но возможно я просмотрел, небыло упомянуто о функциях pred(x) и succ(x), извиняюсь...