*)
(* $Id$ *)
-(*
-module NCicIndexable : Discrimination_tree.Indexable
+
+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 = NUri.uri = struct
+type input = NCic.term
+type constant_name = NUri.uri
+
let ppelem = function
| Constant (uri,arity) ->
"("^NUri.name_of_uri uri ^ "," ^ string_of_int arity^")"
end
-module DiscriminationTree =
- Discrimination_tree.DiscriminationTreeIndexing(NCicIndexable)
- *)
+module DiscriminationTree = Make(NCicIndexable)(TermSet)