ATC.hs revision b87efd3db0d2dc41615ea28669faf80fc1b48d56
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntModule : $Id$
e20788e1216ed720aefa84f3295f7899d9f28c22Mark AndrewsDescription : shared ATerm conversion instances
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntCopyright : (c) Christian Maeder and Uni Bremen 2005-2007
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntLicense : GPLv2 or higher
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntMaintainer : Christian.Maeder@dfki.de
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntStability : provisional
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntPortability : non-portable (existential types)
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntThis folder provides conversion methods, converting between Hets
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntdata structures and shared ATerms.
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntMost of the modules have been automatically created using /DriFT/
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntfrom the /utils/ folder.
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan HuntAn execption are the modules with existential types, such as
ba751492fcc4f161a18b983d4f018a1a52938cb9Evan Huntmodule ATC where