Package aterm :: Module project

[frames] | no frames]

Module project

Term projection.

Functions

subterms(term)
Project the direct subterms of a term.

subterm(term, index)
Project a direct subterm of a term.

annotations(term)
Project the annotations of a term.