Update batText.mli