nCicEnvironment.cmi: nReference.cmi nCic.cmo 
nCicTypeChecker.cmi: nCic.cmo 
nReference.cmi: nUri.cmi 
oCic2NCic.cmi: nCic.cmo 
nCicEnvironment.cmo: oCic2NCic.cmi nReference.cmi nCicEnvironment.cmi 
nCicEnvironment.cmx: oCic2NCic.cmx nReference.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