Здравствуйте, Boffin, Вы писали:

B>Уча сабж, вот уже около часа не могу понять что означает следующее выражение:

B>

B>datatype ('a, 'b)sum = In1 of 'a | In2 of 'b
B>

B>Кто-нибудь, объясните плиз

Хмм, вроде ничего тут особенного и нет. Объявляем новый тип данных.

datatype — декларируем новый тип данных
('a, 'b) sum — конструктор типа
In1 of 'a \_ конструкторы
In2 of 'b / данных

А вот для чего этот тип может использоваться — это уже другой вопрос. На который я как-то с ходу затрудняюсь ответить. Может приведешь контекст в котором этот тип описывается.