|
ATermAbstractSyntax | Portability | portable | Stability | experimental | Maintainer | joost.visser@di.uminho.pt |
|
|
|
|
|
Description |
This module is part of the ATerm library for Haskell. It defines
the abstract syntax of ATerms as a Haskell datatype.
|
|
Synopsis |
|
|
|
Documentation |
|
data ATerm |
The abstract syntax of ATerms. | Constructors | AAppl String [ATerm] | Application | AList [ATerm] | Lists | AInt Integer | Integers |
| Instances | |
|
|
Produced by Haddock version 0.6 |