Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

ATC.AS_Library

Description

Automatic derivation of instances via DrIFT-rule ShATermLG for the type(s): LIB_DEFN LIB_ITEM DownloadItems GENERICITY PARAMS IMPORTED VIEW_TYPE EQUIV_TYPE MODULE_TYPE ALIGN_ARITIES ALIGN_ARITY ItemNameMap