Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (MPTC-FD)
Safe HaskellNone

Comorphisms.ExtModal2HasCASL

Description

 

Documentation

data ExtModal2HasCASL Source #

Constructors

ExtModal2HasCASL 

Instances

Show ExtModal2HasCASL Source # 

Methods

showsPrec :: Int -> ExtModal2HasCASL -> ShowS

show :: ExtModal2HasCASL -> String

showList :: [ExtModal2HasCASL] -> ShowS

Language ExtModal2HasCASL Source # 
Comorphism ExtModal2HasCASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Source #