doc+typeannotation