Crate aterm

Modules

parse
print
rc

Structs

ATermInner	The annotated term. This only combines the term with the annotations.
BrokenF32	An f32 with broken Eq and Hash implementations. 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	The generic description of what it means to be an ATerm. That is: you need to be convertible to an ATermInner to provide the minimum of term and annotations. Also gives you useful getters so matching on different terms is easier.
ATermFactory	An all-in-one package for building ATerms. Maybe be pure, or have internal mutability to give you maximally shared ATerms.
Cons
SharedATermFactory