10.20 Типы пустых вариантов

(Введено в 4.07.0)

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

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