Description

WriteAST is a convenience function that writes AST f to the specified file.