Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski C.Maeder Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Comorphism)
Safe HaskellNone

Comorphisms.CoCASL2CoSubCFOL

Description

coding out partiality, lifted to the level of CoCASL

Synopsis

Documentation

data CoCASL2CoSubCFOL Source #

The identity of the comorphism

Constructors

CoCASL2CoSubCFOL 

Instances

Show CoCASL2CoSubCFOL Source # 

Methods

showsPrec :: Int -> CoCASL2CoSubCFOL -> ShowS

show :: CoCASL2CoSubCFOL -> String

showList :: [CoCASL2CoSubCFOL] -> ShowS

Language CoCASL2CoSubCFOL Source # 
Comorphism CoCASL2CoSubCFOL 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 #