Delete Moduletest.mli