{- |

This folder provides conversions functions, converting between Hets

data structures and the ATerms format

(<http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Tools/ATermFormat>).

Most of the modules have been automatically created using /DriFT/

from the /utils/ folder.

An execption are the modules with existential types, such as

"ATC.Grothendieck".

-}

module ATC where