-nDiscriminationTree.cmi :
-nCicMetaSubst.cmi :
-nCicUnifHint.cmi :
-nCicCoercion.cmi : nCicUnifHint.cmi
-nCicRefineUtil.cmi :
-nCicUnification.cmi : nCicCoercion.cmi
-nCicRefiner.cmi : nCicCoercion.cmi
-nDiscriminationTree.cmo : nDiscriminationTree.cmi
-nDiscriminationTree.cmx : nDiscriminationTree.cmi
-nCicMetaSubst.cmo : nCicMetaSubst.cmi
-nCicMetaSubst.cmx : nCicMetaSubst.cmi
-nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
- nCicUnifHint.cmi
-nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
- nCicUnifHint.cmi