Contents
Index
uuagc-bootstrap
ATermAbstractSyntax
Documentation
data
ATerm
Constructors
AAppl
String
[
ATerm
]
AList
[
ATerm
]
AInt
Integer
AString
String
Instances
Eq
ATerm
Ord
ATerm
Read
ATerm
Show
ATerm