Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Comorphisms.DFOL2CASL

Description

Ref: K. Sojakova and F. Rabe. Translating a Dependently-Typed Logic to First-Order Logic. LNCS 2009, pages 326-341.

Documentation

data DFOL2CASL Source #

Constructors

DFOL2CASL 

Instances

Show DFOL2CASL Source # 

Methods

showsPrec :: Int -> DFOL2CASL -> ShowS

show :: DFOL2CASL -> String

showList :: [DFOL2CASL] -> ShowS

Language DFOL2CASL Source # 

Methods

language_name :: DFOL2CASL -> String Source #

description :: DFOL2CASL -> String Source #

Comorphism DFOL2CASL DFOL () BASIC_SPEC FORMULA SYMB_ITEMS SYMB_MAP_ITEMS Sign Morphism Symbol Symbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #