Глава 12. Расширения языка

20 Пустые вариантные типы

(Добавлено в версии 4.07.0)

type-representation	::=	...
	∣	= \|

Это расширение позволяет пользователю определять пустые вариантные типы. Пустой вариантный тип можно устранить с помощью случая опровержения при сопоставлении с образцом.

type t = |
let f (x: t) = match x with _ -> .