pub unsafe extern "C" fn lean_mk_io_error_invalid_argument( _: u32, _: lean_obj_arg, ) -> lean_obj_res