Add private constructors to GADT indices types

yannl35133 · yannl35133 · commit dd482fe54697 · 2026-02-03T23:42:41.000+01:00
diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
@@ -12,8 +12,8 @@ exception ParseError of string
 
 (* Functorial interface *)
 
-type norec
-type mayrec
+type norec = private [ `norec ]
+type mayrec = private [ `mayrec ]
 
 module type S = sig
   type keyword_state
