This folder provides conversion methods, converting between Hets data structures and shared ATerms. 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.