12.10 Обобщённые алгебраические типы данных

Обобщённые алгебраические типы данных, или GADTs, расширяют обычные типы сумм двумя способами: ограничения на параметры типов могут изменяться в зависимости от конструктора значения, и некоторые переменные типов могут быть экзистенциально квантифицированы. Они описаны в главе 7.

(Введены в OCaml 4.00)

Случаи опровержения. (Введены в OCaml 4.03)

Явное именование экзистенциалов. (Введено в OCaml 4.13.0)