9 freshNamesGenerator.cmi :
11 cicLogger.cmo : cicLogger.cmi
12 cicLogger.cmx : cicLogger.cmi
13 cicEnvironment.cmo : cicEnvironment.cmi
14 cicEnvironment.cmx : cicEnvironment.cmi
15 cicPp.cmo : cicEnvironment.cmi cicPp.cmi
16 cicPp.cmx : cicEnvironment.cmx cicPp.cmi
17 cicUnivUtils.cmo : cicEnvironment.cmi cicUnivUtils.cmi
18 cicUnivUtils.cmx : cicEnvironment.cmx cicUnivUtils.cmi
19 cicSubstitution.cmo : cicEnvironment.cmi cicSubstitution.cmi
20 cicSubstitution.cmx : cicEnvironment.cmx cicSubstitution.cmi
21 cicMiniReduction.cmo : cicSubstitution.cmi cicMiniReduction.cmi
22 cicMiniReduction.cmx : cicSubstitution.cmx cicMiniReduction.cmi
23 cicReduction.cmo : cicSubstitution.cmi cicPp.cmi cicEnvironment.cmi \
25 cicReduction.cmx : cicSubstitution.cmx cicPp.cmx cicEnvironment.cmx \
27 cicTypeChecker.cmo : cicUnivUtils.cmi cicSubstitution.cmi cicReduction.cmi \
28 cicPp.cmi cicLogger.cmi cicEnvironment.cmi cicTypeChecker.cmi
29 cicTypeChecker.cmx : cicUnivUtils.cmx cicSubstitution.cmx cicReduction.cmx \
30 cicPp.cmx cicLogger.cmx cicEnvironment.cmx cicTypeChecker.cmi
31 freshNamesGenerator.cmo : cicTypeChecker.cmi cicSubstitution.cmi \
32 freshNamesGenerator.cmi
33 freshNamesGenerator.cmx : cicTypeChecker.cmx cicSubstitution.cmx \
34 freshNamesGenerator.cmi
35 cicDischarge.cmo : cicTypeChecker.cmi cicSubstitution.cmi cicEnvironment.cmi \
37 cicDischarge.cmx : cicTypeChecker.cmx cicSubstitution.cmx cicEnvironment.cmx \