1 files changed, 13 insertions, 7 deletions
diff --git a/gramlib/grammar.ml b/gramlib/grammar.ml
index 41669b77c9..d6951fff6d 100644
--- a/gramlib/grammar.ml
+++ b/gramlib/grammar.ml
@@ -77,10 +77,6 @@ module type S = sig
     val make : ('a, _, 'f, Loc.t -> 'a) Rule.t -> 'f -> 'a t
   end
 
-  module Unsafe : sig
-    val clear_entry : 'a Entry.t -> unit
-  end
-
   type 'a single_extend_statement =
     string option * Gramext.g_assoc option * 'a Production.t list
 
@@ -89,9 +85,6 @@ module type S = sig
     ; data : 'a single_extend_statement list
     }
 
-  val safe_extend : 'a Entry.t -> 'a extend_statement -> unit
-  val safe_delete_rule : 'a Entry.t -> 'a Production.t -> unit
-
   val generalize_symbol : ('a, 'tr, 'c) Symbol.t -> ('a, norec, 'c) Symbol.t option
 
   val mk_rule : 'a pattern list -> string Rules.t
@@ -101,6 +94,19 @@ module type S = sig
 
 end
 
+module type ExtS = sig
+
+  include S
+
+  val safe_extend : 'a Entry.t -> 'a extend_statement -> unit
+  val safe_delete_rule : 'a Entry.t -> 'a Production.t -> unit
+
+  module Unsafe : sig
+    val clear_entry : 'a Entry.t -> unit
+  end
+
+end
+
 (* Implementation *)
 
 module GMake (L : Plexing.S) = struct