外部の型や値を簡単に ATS 言語に取り込むことができます。 また、それはC言語で宣言された型や値に関連付けさせることができます。
some_type_in_c とう名前でC言語の型が定義されていると想像してください。 この型は $extype"some_type_in_c" のように ATS 言語から参照することができます。 例えば次のコードのように、C言語でのいくつかの型を ATS 言語に取り込んで型定義できます:
typedef Cint = $extype"int" typedef Clint = $extype"long int" typedef Cllint = $extype"long long int" typedef Cint2 = $extype"struct{ int x; int y; }"