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