+module TermSet : Set.S with type elt = NCic.term
+
+module DiscriminationTree : Discrimination_tree.DiscriminationTree
+with type constant_name = NCicIndexable.constant_name
+and type input = NCicIndexable.input
+and type data = TermSet.elt and type dataset = TermSet.t