Update batBounded.mli