Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Comorphisms.CoCASL2CoPCFOL

Description

Coding out subsorting, lifted tot eh level of CoCASL

Synopsis

Documentation

data CoCASL2CoPCFOL Source #

The identity of the comorphism

Constructors

CoCASL2CoPCFOL 

Instances

Show CoCASL2CoPCFOL Source # 

Methods

showsPrec :: Int -> CoCASL2CoPCFOL -> ShowS

show :: CoCASL2CoPCFOL -> String

showList :: [CoCASL2CoPCFOL] -> ShowS

Language CoCASL2CoPCFOL Source # 
Comorphism CoCASL2CoPCFOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Source #