The String type is the set of all finite ordered sequen […]