读取一个文本文件

str readtxt(str file);
//file: 文件,比如:0:/a.txt
//返回值:文件内容

示例

str s;
s=readtxt("0:/a.txt");
echo(s);

注意