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 |