Reading/Writing TAF
Textual ATerm Format is very similar to the ASCII format, but has a marker at the start and has references for preserving sharing within the serialisation.
Textual ATerm Format is very similar to the ASCII format, but has a marker at the start and has references for preserving sharing within the serialisation.