A tool set could generate web service documentation from a flask web service application