Update ast.mli