diff --git a/stdlib/unit.mli b/stdlib/unit.mli index 8c7cb211e..e71f279a0 100644 --- a/stdlib/unit.mli +++ b/stdlib/unit.mli @@ -19,7 +19,7 @@ (** {1:unit The unit type} *) -type t = unit = () +type t = unit = () (**) (** The unit type. The constructor [()] is included here so that it has a path,