Method Stdio.read_file()

Method read_file: string Stdio.read_file(string filename)
string Stdio.read_file(string filename, int start, int len)
Description
: Read len lines from a file filename after skipping start lines and return those lines as a string. If both start and len are omitted the whole file is read.
See also: Stdio.read_bytes, Stdio.write_file