inference.cmi: utils.cmi
+equality_indexing.cmi: utils.cmi inference.cmi
utils.cmo: utils.cmi
utils.cmx: utils.cmi
inference.cmo: utils.cmi inference.cmi
inference.cmx: utils.cmx inference.cmi
-path_indexing.cmo: utils.cmi trie.cmo inference.cmi
-path_indexing.cmx: utils.cmx trie.cmx inference.cmx
-discrimination_tree.cmo: utils.cmi trie.cmo inference.cmi
-discrimination_tree.cmx: utils.cmx trie.cmx inference.cmx
-indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo
-indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx
+equality_indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
+equality_indexing.cmx: utils.cmx inference.cmx equality_indexing.cmi
+indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
+indexing.cmx: utils.cmx inference.cmx equality_indexing.cmx
saturation.cmo: utils.cmi inference.cmi indexing.cmo
saturation.cmx: utils.cmx inference.cmx indexing.cmx
-saturate_main.cmo: utils.cmi saturation.cmo
-saturate_main.cmx: utils.cmx saturation.cmx