位于 ⇘ “标准库 ”。

类型 STRING 函数，用于插入一个字符串到另一个字符串的指定点。

输入:

STR1 : STRING; 要插入 STR2 的字符串

STR2 : STRING; 要插入到 STR1 中的字符串

POS : INT; STR1 中要插入 STR2 的位置，从左开始字符的数目

返回值: STRING, 结果字符串

 

INSERT(STR1, STR2, POS) 表示：在位置 POS 将 STR2 插入到 STR1 。