Deleted unused file apply.mli