String literal.

String length.

Get a char in a string.

Returns the code point of a the single character of the string or (-1) if the string is not a singleton.

Returns the singleton string whose only character is the given code point.

Check if the string a singleton string with a single digit character.

Evaluates the string as a decimal natural number, or (-1) if it's not possible.

Convert an int expression to a string in decimal representation.

String concatenation.

Substring extraction.

Index of the first occurrence of the second string in first one, starting at the position of the third argument.

Replace the first occurrence.

Replace all occurrences.

Replace the leftmost, shortest re ocurrence.

Replace left-to-right, each shortest non empty re occurrence.

Check if the first string is a prefix of the second one.

Check if the first string is a suffix of the second one.

Check if the first string contains the second one.

Check for lexicographic strict ordering.

Check for lexicographic large ordering.

Check if the string is in regular language.

A module for regular language constant symbols that occur in terms.