uuagc-0.9.54: src/ATermAbstractSyntax.hs

{-----------------------------------------------------------------------------

        Haskell ATerm Library
                
        Joost Visser
        CWI, Amsterdam

  This module is part of the ATerm library for Haskell. It defines the
  abstract syntax of ATerms as a Haskell datatype.
  
------------------------------------------------------------------------------}

module ATermAbstractSyntax where

-- Abstract syntax -----------------------------------------------------------

data ATerm = AAppl String [ATerm]
           | AList [ATerm]
           | AInt Integer
           | AString String
           deriving (Read,Show,Eq,Ord)

------------------------------------------------------------------------------