module TermSet = Set.Make(TermOT)
+module TermListOT : Set.OrderedType with type t = NCic.term list =
+ struct
+ type t = NCic.term list
+ let compare = Pervasives.compare
+ end
+
+module TermListSet : Set.S with type elt = NCic.term list =
+ Set.Make(TermListOT)
+
+
module NCicIndexable : Indexable
with type input = NCic.term
and type constant_name = NReference.reference = struct