模块 Unit

module Unit: sig .. end

单位值。

单位类型

type t = 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 为 "()"。