cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
cicReduction.cmi
cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \
cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
cicReduction.cmi
cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \