string_file_buffer
string_file_buffer — queries a string file for its internal buffer.
string_file_buffer (string_file)
string_fileA file which points to an in-memory string, created by a call
to open_string.
The characters remaining to be read within the string file.
This function queries a string file for its internal buffer.
Gamma>a = open_string("my false file");#<File:"String">Gamma>read_n_chars(a,3);#{my }Gamma>string_file_buffer(a);"false file"Gamma>