nCicEnvironment.cmi: nUri.cmi nCic.cmo 
nCicTypeChecker.cmi: nCic.cmo 
nReference.cmi: nUri.cmi 
oCic2NCic.cmi: nCic.cmo 
nCicSubstitution.cmi: nCic.cmo 
nCic.cmo: nUri.cmi nReference.cmi 
nCic.cmx: nUri.cmx nReference.cmx 
nCicEnvironment.cmo: oCic2NCic.cmi nUri.cmi nCicEnvironment.cmi 
nCicEnvironment.cmx: oCic2NCic.cmx nUri.cmx nCicEnvironment.cmi 
nCicTypeChecker.cmo: nCicTypeChecker.cmi 
nCicTypeChecker.cmx: nCicTypeChecker.cmi 
nReference.cmo: nUri.cmi nReference.cmi 
nReference.cmx: nUri.cmx nReference.cmi 
oCicTypeChecker.cmo: oCic2NCic.cmi nCicTypeChecker.cmi oCicTypeChecker.cmi 
oCicTypeChecker.cmx: oCic2NCic.cmx nCicTypeChecker.cmx oCicTypeChecker.cmi 
oCic2NCic.cmo: oCic2NCic.cmi 
oCic2NCic.cmx: oCic2NCic.cmi 
nUri.cmo: nUri.cmi 
nUri.cmx: nUri.cmi 
nCicSubstitution.cmo: nCic.cmo nCicSubstitution.cmi 
nCicSubstitution.cmx: nCic.cmx nCicSubstitution.cmi