Crate aterm [−] [src]
Modules
| parse | |
| rc |
Structs
| ATermInner |
The annotated term. This only combines the term with the annotations, nothing special. |
| BrokenF32 |
To quote shepmaster (except this is an f32): |
Enums
| Term |
The basic term type, without annotations |
| TermPlaceholder |
These placeholders match the constructors of Term. The Application has sub-placeholders for the children of the constructor. The Term placeholder is basically a wildcard, it matches anything. |
Traits
| ATerm | |
| ATermFactory |
An all-in-one package for building |
| SharedATermFactory |