Hets - the Heterogeneous Tool Set

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

Comorphisms.THFP2THF0

Description

The comorphism from THFP to THF0.

Documentation

data THFP2THF0 Source #

Constructors

THFP2THF0 

Instances

Show THFP2THF0 Source # 

Methods

showsPrec :: Int -> THFP2THF0 -> ShowS

show :: THFP2THF0 -> String

showList :: [THFP2THF0] -> ShowS

Language THFP2THF0 Source # 

Methods

language_name :: THFP2THF0 -> String Source #

description :: THFP2THF0 -> String Source #

Comorphism THFP2THF0 THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree Source # 

isProdT :: TransMap -> Type -> Bool Source #