+nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
+ nCicMetaSubst.cmi nCicCoercion.cmi
+nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
+ nCicMetaSubst.cmx nCicCoercion.cmi
+nCicCoercion.cmi : nCicUnifHint.cmi
+nCicMetaSubst.cmo : nCicMetaSubst.cmi
+nCicMetaSubst.cmx : nCicMetaSubst.cmi