Crate aterm [−] [src]
Reexports
pub use print::*; |
Modules
boxed | |
parse | |
Structs
_ATerm |
The annotated term. This only combines the term with the annotations, nothing special. |
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
ATermFactory |
An all-in-one package for building |
Rec | |
SharedATermFactory |