1 files changed, 1 insertions, 25 deletions
diff --git a/kernel/names.mli b/kernel/names.mli
index 9a8977c92..7cc444375 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -305,12 +305,6 @@ sig
     val hash : t -> int
   end
 
-  module SyntacticOrd : sig
-    val compare : t -> t -> int
-    val equal : t -> t -> bool
-    val hash : t -> int
-  end
-
   val equal : t -> t -> bool
   (** Default comparison, alias for [CanOrd.equal] *)
 
@@ -385,12 +379,6 @@ sig
     val hash : t -> int
   end
 
-  module SyntacticOrd : sig
-    val compare : t -> t -> int
-    val equal : t -> t -> bool
-    val hash : t -> int
-  end
-
   val equal : t -> t -> bool
   (** Default comparison, alias for [CanOrd.equal] *)
 
@@ -429,22 +417,16 @@ val inductive_of_constructor : constructor -> inductive
 val index_of_constructor : constructor -> int
 val eq_ind : inductive -> inductive -> bool
 val eq_user_ind : inductive -> inductive -> bool
-val eq_syntactic_ind : inductive -> inductive -> bool
 val ind_ord : inductive -> inductive -> int
 val ind_hash : inductive -> int
 val ind_user_ord : inductive -> inductive -> int
 val ind_user_hash : inductive -> int
-val ind_syntactic_ord : inductive -> inductive -> int
-val ind_syntactic_hash : inductive -> int
 val eq_constructor : constructor -> constructor -> bool
 val eq_user_constructor : constructor -> constructor -> bool
-val eq_syntactic_constructor : constructor -> constructor -> bool
 val constructor_ord : constructor -> constructor -> int
-val constructor_hash : constructor -> int
 val constructor_user_ord : constructor -> constructor -> int
+val constructor_hash : constructor -> int
 val constructor_user_hash : constructor -> int
-val constructor_syntactic_ord : constructor -> constructor -> int
-val constructor_syntactic_hash : constructor -> int
 
 (** Better to have it here that in Closure, since required in grammar.cma *)
 type evaluable_global_reference =
@@ -658,12 +640,6 @@ module Projection : sig
     
   val make : constant -> bool -> t
 
-  module SyntacticOrd : sig
-    val compare : t -> t -> int
-    val equal : t -> t -> bool
-    val hash : t -> int
-  end
-
   val constant : t -> constant
   val unfolded : t -> bool
   val unfold : t -> t