1 grafiteEngine.cmx : nCicCoercDeclaration.cmx grafiteTypes.cmx \
3 grafiteEngine.cmi : grafiteTypes.cmi
4 grafiteTypes.cmx : grafiteTypes.cmi
6 nCicCoercDeclaration.cmx : grafiteTypes.cmx nCicCoercDeclaration.cmi
7 nCicCoercDeclaration.cmi : grafiteTypes.cmi