Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder DFKI Bremen 2013
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.THFP_P2HasCASL

Description

The embedding comorphism from THFP to HasCASL.

Documentation

data THFP_P2HasCASL Source #

Constructors

THFP_P2HasCASL 

Instances

Show THFP_P2HasCASL Source # 

Methods

showsPrec :: Int -> THFP_P2HasCASL -> ShowS

show :: THFP_P2HasCASL -> String

showList :: [THFP_P2HasCASL] -> ShowS

Language THFP_P2HasCASL Source # 
Comorphism THFP_P2HasCASL THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Source # 

tailType :: Type -> (Type, Maybe Type) Source #