Update generate_mli.ml