Package aterm :: Module term
[frames] | no frames]

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.