Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI GmbH 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2ExtModal

Description

The embedding comorphism from CASL to ExtModal.

Synopsis

Documentation

data CASL2ExtModal Source #

The identity of the comorphism

Constructors

CASL2ExtModal 

Instances

Show CASL2ExtModal Source # 

Methods

showsPrec :: Int -> CASL2ExtModal -> ShowS

show :: CASL2ExtModal -> String

showList :: [CASL2ExtModal] -> ShowS

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