Module aterm::rc [] [src]

Modules

shared

Structs

ATerm

The annotated term. This only combines the term with the annotations.

ATermFactory

Enums

Term

The basic term type, without annotations

Type Definitions

T