blob: c9dc00ef7800197a08f05bb8e1300bbc7f5dadb2 (
plain)
1
2
3
4
5
6
7
8
9
|
# Derivation "ATerm" file format
For historical reasons, [derivations](@docroot@/glossary.md#gloss-store-derivation) are stored on-disk in [ATerm](https://homepages.cwi.nl/~daybuild/daily-books/technology/aterm-guide/aterm-guide.html) format.
Derivations are serialised in the following format:
```
Derive(...)
```
|
