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

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

(Введено в версии 4.07.0)

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

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

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