Copyright	(c) C.Maeder Uni Bremen 2007
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

Comorphisms.HasCASL2PCoClTyConsHOL

Description

Coding out subtyping in analogy to (SubPCFOL= -> PCFOL=), following Chap. III:3.1 of the CASL Reference Manual

The higher kinded builtin function arrow subtypes must be ignored.

Synopsis

Documentation

The identity of the comorphism

Constructors

Show HasCASL2PCoClTyConsHOL
Language HasCASL2PCoClTyConsHOL
Comorphism HasCASL2PCoClTyConsHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()