module lang::aterm::IO
rascal-0.34.0
Usage
import lang::aterm::IO;
function readTextATermFile
read an ATerm from a text file
&T readTextATermFile(type[&T] begin, loc location)
value readTextATermFile(loc location)
function readATermFromFile
Read an ATerm from a named file.
value readATermFromFile(str fileName)
function writeTextATermFile
write an ATerm to a text file
void writeTextATermFile(loc location, value v)