String.String.copy, equivalent to the identity function.String.sub.String.concat.String.map.String.escaped.String.rindex_from.String.contains_from.String.rcontains_from.String.uppercase.String.lowercase.String.capitalize.String.uncapitalize.String.compare, but ignoring case when comparing
strings.