Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(imports Syntax.AS_Structured)
Safe HaskellNone

Syntax.AS_Architecture

Description

Abstract syntax of (Het)CASL architectural specifications Follows Sect. II:2.2.4 of the CASL Reference Manual.

Documentation

data UNIT_REF Source #

Instances

Show UNIT_REF Source # 

Methods

showsPrec :: Int -> UNIT_REF -> ShowS

show :: UNIT_REF -> String

showList :: [UNIT_REF] -> ShowS

GetRange UNIT_REF Source # 
ATermConvertibleSML UNIT_REF Source # 

Methods

from_sml_ShATerm :: ATermTable -> UNIT_REF

from_sml_ShATermList :: ATermTable -> [UNIT_REF]