From a8a3c55b18a6cee6ce45705aa1c3c825cb688393 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Wed, 18 Mar 2020 20:22:08 +0100 Subject: [PATCH] fix doc comment for unit type --- stdlib/unit.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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,