From ce559c228e3f3a83cc6ca13865d7df1bb2be2063 Mon Sep 17 00:00:00 2001 From: favonia Date: Tue, 31 Oct 2023 10:16:28 -0500 Subject: [PATCH] docs(Sigs): fix documentation --- src/Sigs.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Sigs.ml b/src/Sigs.ml index c67a3f1..6970be6 100644 --- a/src/Sigs.ml +++ b/src/Sigs.ml @@ -1,8 +1,8 @@ -(** Common signatures shared across different components. *) +(** Signatures shared across different components. *) -(** A signature carrying a type. *) +(** This is a type wrapped as a module. *) module type Type = sig - (** The type. *) + (** The wrapped type. *) type t end