1 nCicEnvironment.cmi: nUri.cmi nCic.cmo
2 nCicTypeChecker.cmi: nCic.cmo
3 nReference.cmi: nUri.cmi
4 oCic2NCic.cmi: nCic.cmo
5 nCicSubstitution.cmi: nCic.cmo
6 nCic.cmo: nUri.cmi nReference.cmi
7 nCic.cmx: nUri.cmx nReference.cmx
8 nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nCicEnvironment.cmi
9 nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nCicEnvironment.cmi
10 nCicTypeChecker.cmo: nCicTypeChecker.cmi
11 nCicTypeChecker.cmx: nCicTypeChecker.cmi
12 nReference.cmo: nUri.cmi nReference.cmi
13 nReference.cmx: nUri.cmx nReference.cmi
14 oCicTypeChecker.cmo: oCic2NCic.cmi nCicTypeChecker.cmi oCicTypeChecker.cmi
15 oCicTypeChecker.cmx: oCic2NCic.cmx nCicTypeChecker.cmx oCicTypeChecker.cmi
16 oCic2NCic.cmo: oCic2NCic.cmi
17 oCic2NCic.cmx: oCic2NCic.cmi
20 nCicSubstitution.cmo: nCic.cmo nCicSubstitution.cmi
21 nCicSubstitution.cmx: nCic.cmx nCicSubstitution.cmi