{- |
Module : ./atermlib/src/ATerm/Lib.hs
Description : reexports modules needed for ATC generation
Copyright : (c) Klaus Luettich, Uni Bremen 2002-2004
License : GPLv2 or higher, see LICENSE.txt
Maintainer : Christian.Maeder@dfki.de
Stability : provisional
Portability : non-portable (via imports)
reexports the names needed for many 'ShATermConvertible'
instances. For converting 'ShATerm's to and from 'String's you'll need
the module "ATerm.ReadWrite".
For more information on ATerms look under
<http://www.asfsdf.org>, <http://www.asfsdf.org/Meta-Environment/ATerms>.
-}
module ATerm.Lib
( ShATerm (..)
, ATermTable
, addATerm
, getShATerm
, ShATermConvertible (toShATermAux, fromShATermAux)
, toShATerm'
, fromShATerm'
, fromShATermError
) where
import ATerm.AbstractSyntax
import ATerm.Conversion