| Copyright | (c) Till Mossakowski, Uni Bremen 2002-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Comorphisms.CoCASL2CoPCFOL
Description
Coding out subsorting, lifted tot eh level of CoCASL
- data CoCASL2CoPCFOL = CoCASL2CoPCFOL
- cf2CFormula :: FORMULA C_FORMULA -> FORMULA C_FORMULA
- projC_Formula :: C_FORMULA -> C_FORMULA
- injC_Formula :: C_FORMULA -> C_FORMULA
Documentation
projC_Formula :: C_FORMULA -> C_FORMULA
injC_Formula :: C_FORMULA -> C_FORMULA