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.ExtModal2CASL

Description

 

Documentation

data ExtModal2CASL Source #

Constructors

ExtModal2CASL 

Instances

Show ExtModal2CASL Source # 

Methods

showsPrec :: Int -> ExtModal2CASL -> ShowS

show :: ExtModal2CASL -> String

showList :: [ExtModal2CASL] -> ShowS

Language ExtModal2CASL Source # 
Comorphism ExtModal2CASL ExtModal ExtModalSL EM_BASIC_SPEC ExtModalFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ExtModalSign ExtModalMorph Symbol RawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #