Lib.hs revision b87efd3db0d2dc41615ea28669faf80fc1b48d56
{- |
Module : $Header$
Description : reexports modules needed for ATC generation
Copyright : (c) Klaus Luettich, Uni Bremen 2002-2004
License : GPLv2 or higher
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
-}
module ATerm.Lib
( ShATerm (..)
, ATermTable
, addATerm
, getShATerm
, ShATermConvertible(toShATermAux, fromShATermAux)
, toShATerm'
, fromShATerm'
, fromShATermError
) where
import ATerm.AbstractSyntax
import ATerm.Conversion