Function write_to_named_text_file
genspect::write_to_named_text_file —
Synopsis
bool write_to_named_text_file(aterm t, const std::string & filename);
Description
Writes term t to file named filename in textual format. This function writes aterm t in textual representation to file filename. "-" is standard output's filename.