1 nDiscriminationTree.cmi :
4 nCicCoercion.cmi : nCicUnifHint.cmi
6 nCicUnification.cmi : nCicCoercion.cmi
7 nCicRefiner.cmi : nCicCoercion.cmi
8 nDiscriminationTree.cmo : nDiscriminationTree.cmi
9 nDiscriminationTree.cmx : nDiscriminationTree.cmi
10 nCicMetaSubst.cmo : nCicMetaSubst.cmi
11 nCicMetaSubst.cmx : nCicMetaSubst.cmi
12 nCicUnifHint.cmo : nDiscriminationTree.cmi nCicMetaSubst.cmi \
14 nCicUnifHint.cmx : nDiscriminationTree.cmx nCicMetaSubst.cmx \
16 nCicCoercion.cmo : nDiscriminationTree.cmi nCicUnifHint.cmi \
17 nCicMetaSubst.cmi nCicCoercion.cmi
18 nCicCoercion.cmx : nDiscriminationTree.cmx nCicUnifHint.cmx \
19 nCicMetaSubst.cmx nCicCoercion.cmi
20 nCicRefineUtil.cmo : nCicMetaSubst.cmi nCicRefineUtil.cmi
21 nCicRefineUtil.cmx : nCicMetaSubst.cmx nCicRefineUtil.cmi
22 nCicUnification.cmo : nCicUnifHint.cmi nCicMetaSubst.cmi nCicUnification.cmi
23 nCicUnification.cmx : nCicUnifHint.cmx nCicMetaSubst.cmx nCicUnification.cmi
24 nCicRefiner.cmo : nCicUnification.cmi nCicRefineUtil.cmi nCicMetaSubst.cmi \
25 nCicCoercion.cmi nCicRefiner.cmi
26 nCicRefiner.cmx : nCicUnification.cmx nCicRefineUtil.cmx nCicMetaSubst.cmx \
27 nCicCoercion.cmx nCicRefiner.cmi