Update batSubstring.mli