Package aterm :: Module term

Module term

Term class hierarchy.

Classes
	Term Base class for all terms.
	Lit Base class for literal terms.
	Integer Integer literal term.
	Real Real literal term.
	Str String literal term.
	List Base class for list terms.
	Nil Empty list term.
	Cons Concatenated list term.
	Appl Application term.