cicPp.cmi cicEnvironment.cmi cicElim.cmi
cicElim.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicReduction.cmx \
cicPp.cmx cicEnvironment.cmx cicElim.cmi
+cicRecord.cmo: cicTypeChecker.cmi cicSubstitution.cmi cicRecord.cmi
+cicRecord.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicRecord.cmi