Update odoc_generator_batlib.ml