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

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

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

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

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