--- /dev/null
+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
+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