Crate aterm [] [src]

Reexports

pub use print::*;

Modules

boxed
parse
print

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 ATerms. Maybe be pure, or have internal mutability to give you maximally shared ATerms.

Rec
SharedATermFactory