Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerM.Roggenbach@swansea.ac.uk
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2CspCASL

Description

The embedding comorphism from CASL to CspCASL.

Synopsis

Documentation

data CASL2CspCASL Source #

The identity of the comorphism

Constructors

CASL2CspCASL 

Instances

Show CASL2CspCASL Source # 

Methods

showsPrec :: Int -> CASL2CspCASL -> ShowS

show :: CASL2CspCASL -> String

showList :: [CASL2CspCASL] -> ShowS

Language CASL2CspCASL Source # 
Comorphism CASL2CspCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CspCASL () CspBasicSpec CspCASLSen CspSymbItems CspSymbMapItems CspCASLSign CspCASLMorphism CspSymbol CspRawSymbol () Source #