Hets - the Heterogeneous Tool Set

Copyright(c) C.Maeder Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

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

data HasCASL2PCoClTyConsHOL Source #

The identity of the comorphism

Instances

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