| Copyright | (c) Ewaryst Schulz DFKI Bremen 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ewaryst.schulz@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.OMDoc
Contents
Description
Library of CASL specific OMDoc constants
Synopsis
- caslMetaTheory :: OMCD
- const_casl :: String -> OMElement
- const_true :: OMElement
- const_false :: OMElement
- const_sort :: OMElement
- const_funtype :: OMElement
- const_partialfuntype :: OMElement
- const_and :: OMElement
- const_or :: OMElement
- const_implies :: OMElement
- const_implied :: OMElement
- const_equivalent :: OMElement
- const_forall :: OMElement
- const_exists :: OMElement
- const_eq :: OMElement
- const_eeq :: OMElement
- const_existsunique :: OMElement
- const_def :: OMElement
- const_in :: OMElement
- const_if :: OMElement
- const_cast :: OMElement
- const_type :: OMElement
- const_not :: OMElement
- const_predtype :: OMElement
- const_subsortof :: OMElement
Meta theory
caslMetaTheory :: OMCD Source #
CASL meta theory content dictionary
Terms
const_casl :: String -> OMElement Source #