-(*
-module NCicIndexable : Discrimination_tree.Indexable
-with type input = NCic.term and type constant_name = NUri.uri = struct
+
+open Discrimination_tree
+
+module TermOT : Set.OrderedType with type t = NCic.term = struct
+ type t = NCic.term
+ let compare = Pervasives.compare
+end
+
+module TermSet = Set.Make(TermOT)
+
+module NCicIndexable : Indexable
+with type input = NCic.term
+and type constant_name = NReference.reference = struct
+
+type input = NCic.term
+type constant_name = NReference.reference