1 inference.cmi: utils.cmi
2 equality_indexing.cmi: utils.cmi inference.cmi
5 inference.cmo: utils.cmi inference.cmi
6 inference.cmx: utils.cmx inference.cmi
7 equality_indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi
8 equality_indexing.cmx: utils.cmx inference.cmx equality_indexing.cmi
9 indexing.cmo: utils.cmi inference.cmi equality_indexing.cmi indexing.cmi
10 indexing.cmx: utils.cmx inference.cmx equality_indexing.cmx indexing.cmi
11 saturation.cmo: utils.cmi inference.cmi indexing.cmi
12 saturation.cmx: utils.cmx inference.cmx indexing.cmx