This module is part of the ATerm library for Haskell. It contains functions for reading and writing ATerms from and to Strings. Two ATerm formats are supported:
- AT: plain (non-shared) textual ATerms
- TAF: shared textual ATerms
The binary ATerm format (BAF) is not supported.
- BLOBS and place-holders are not supported.
- Annotations are not supported.
Write the given ATerm to non-shared textual representation (TXT format).