Common/ATerm/Lib.hs

	Lib.hs revision 6111da01c4c41027e9e814ac031f7b221b2d293a
{- |
Module      :  $Header$
Description :  reexports modules needed for ATC generation
Copyright   :  (c) Klaus L�ttich, Uni Bremen 2002-2004
License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  non-portable (via imports)

reexports the modules needed for many 'ShATermConvertible'
instances. For converting 'ShATerm's to and from 'String's you'll need
the module "Common.ATerm.ReadWrite" (that depends on
"Common.SimpPretty"). For more information on ATerms look under
<http://www.asfsdf.org>.
-}

module Common.ATerm.Lib
    ( module Common.ATerm.AbstractSyntax
    , module Common.ATerm.Conversion
    , module Common.ATerm.ConvInstances,
    ) where

import Common.ATerm.AbstractSyntax
import Common.ATerm.Conversion
import Common.ATerm.ConvInstances