[coq] make Protect.E.t private.

Just a nit really.
ejgallego · Sep 30, 2024 · 643654a · 643654a
1 parent fb1e05c
commit 643654a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq/protect.mli b/coq/protect.mli
@@ -30,7 +30,7 @@ module R : sig
 end
 
 module E : sig
-  type ('a, 'l) t =
+  type ('a, 'l) t = private
     { r : ('a, 'l) R.t
     ; feedback : 'l Message.t list
     }