2002-01-23 19:41:50 +00:00
|
|
|
string (integer old, integer new, string str) String_ReplaceChar = #0;
|
2002-02-02 09:38:25 +00:00
|
|
|
string (integer pos, integer len, string str) String_Cut = #0;
|
|
|
|
integer (string str) String_Len = #0;
|
2002-03-16 20:22:01 +00:00
|
|
|
integer (string str, integer pos) String_GetChar = #0;
|