include "string.m";
str := load String String->PATH;

append:    fn(s: string, l: list of string): list of string;
drop:      fn(s, cl: string): string;
in:        fn(c: int, cl: string): int;
prefix:    fn(pre, s: string): int;
splitl:    fn(s, cl: string): (string, string);
splitr:    fn(s, cl: string): (string, string);
splitstrl: fn(s, t: string): (string, string);
splitstrr: fn(s, t: string): (string, string);
take:      fn(s, cl: string): string;
tobig:     fn(s: string, base: int): (big, string);
toint:     fn(s: string, base: int): (int, string);
toreal:    fn(s: string, base: int): (real, string);
tolower:   fn(s: string): string;
toupper:   fn(s: string): string;
quoted:    fn(args: list of string): string;
unquoted:  fn(s: string): list of string;

Append appends string s to the end of string list l.

Drop removes the maximal prefix of string s that is in class cl.

In returns 1 if character c is in class cl and 0 if it is not.

Prefix returns 1 if string pre is a prefix of string s and 0 if it is not.

Splitl splits string s just before the first character in class cl.

Splitr splits string s just after the last character in class cl.

Splitstrl splits string s just before the leftmost segment of string s that consists entirely of string t, and returns a tuple with the resulting pair of strings. If t does not occur in s, the result is (s,nil).

Splitstrr splits string s just after the rightmost segment of string s that consists entirely of string t, and returns a tuple with the resulting pair of strings. If t does not occur in s, the result is (nil,s).

Take returns the maximal prefix of string s that is in class cl.

Toint returns as an integer the value represented by the string s. The string is scanned up to the first character inconsistent with base. The first inconsistent character marks the beginning of the returned string. Leading white-space characters are ignored. The base can be any integer in the range 2 to 36, inclusive; or 0 in which case the base can be specified as part of the string, in Limbo style (e.g. 16rffff).

Tobig has the same specification as toint except that converts to 64-bit big.

Toreal is similar to toint, except that it expects a floating-point number after optional leading white space: an optional sign, then a string of digits containing a decimal point, then an optional `e' or `E' followed by an optionally signed decimal integer exponent. The string of digits can optionally be preceded by a base (radix) specifier of the form Br, as for integers. Any exponent is then interpreted as a power of that base. Alternatively, following any leading white space and an optional sign, either nan or infinity can appear, in any case, and toreal will return the appropriate value for IEEE floating-point.

Tolower converts all upper case letters in the string s to lower case letters.

Toupper converts all lower case letters in the string s to upper case letters.

Quoted takes a list of strings, args, and returns a single string with the value of each element of args separated from the next by a single space. When forming the string, the text of any element that contains white space or single quotes is first quoted by surrounding it by single quotes ('...') within which each existing single quote is doubled (''), following the conventions of sh(1).

Unquoted takes a string s, quoted according to the conventions of quoted, and splits it into separate strings. It splits the string at each maximal sequence of unquoted white space (blank, newline or tab), stripping single quotes except where paired, to form the corresponding list of strings, which it returns.