cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
cicTypeChecker.mli
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
cicTypeChecker.mli
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)