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

(Введено в 4.07.0)

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

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