module Unit:sig..end
Unit values.
typet =unit=
| | | () | (* | The unit type. The constructor  | *) | 
val equal : t -> t -> boolequal u1 u2 is true.
val compare : t -> t -> intcompare u1 u2 is 0.
val to_string : t -> stringto_string b is "()".