up previous next
4.3.3 Substrings
If L is a string and N is an integer, then L[N] is the N-th character of L.

Example
L := "hello world";
L[2];
e
------------------------------- 
The operator IsIn can be used to test if one string is a substring of another.

Example
L := "hello world";
"hello" IsIn L;     -- one may also write IsIn("hello",L)
TRUE
-------------------------------