Merge PR #10284: Expose set interface to option tables

Ack-by: SkySkimmer
Reviewed-by: ejgallego
Reviewed-by: ppedrot

2 files changed, 2 insertions, 0 deletions

diff --git a/kernel/names.ml b/kernel/names.ml
index 655bf50087..85dc8267bb 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -671,6 +671,7 @@ module InductiveOrdered_env = struct
   let compare = ind_user_ord
 end
 
+module Indset = Set.Make(InductiveOrdered)
 module Indmap = Map.Make(InductiveOrdered)
 module Indmap_env = Map.Make(InductiveOrdered_env)
 
diff --git a/kernel/names.mli b/kernel/names.mli
index 44e8dd4a83..65c5d6c139 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -481,6 +481,7 @@ type constructor = inductive   (* designates the inductive type *)
                  * int         (* the index of the constructor
                                   BEWARE: indexing starts from 1. *)
 
+module Indset : CSig.SetS with type elt = inductive
 module Indmap : CSig.MapS with type key = inductive
 module Constrmap : CSig.MapS with type key = constructor
 module Indmap_env : CSig.MapS with type key = inductive