Модуль Unit

module Unit: sig .. end

Значения типа unit.

Тип unit

type t = unit =

| ()

Тип unit.

Конструктор () включён здесь, чтобы у него был путь, но он не предназначен для использования в типах данных, определяемых пользователем.

val equal : t -> t -> bool

equal u1 u2 — true.

val compare : t -> t -> int

compare u1 u2 — 0.

val to_string : t -> string

to_string b — "()".