Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Ewaryst Schulz and DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Common.Item)
Safe HaskellNone

HasCASL.ToItem

Description

get item representation of BasicSpec

Documentation