{- |
Module      :  ./CommonLogic/OMDoc.hs
Description :  Common Logic specific OMDoc constants
Copyright   :  (c) Iulia Ignatov, DFKI Bremen 2010
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  i.ignatov@jacobs-university.de
Stability   :  experimental
Portability :  portable

Library of Common Logic specific OMDoc constants.
-}
module CommonLogic.OMDoc where

import OMDoc.DataTypes


clMetaTheory :: OMCD
clMetaTheory :: OMCD
clMetaTheory =
  [String] -> OMCD
CD ["commonlogic", "http://cds.omdoc.org/logics/commonlogic.omdoc"]

const_cl :: String -> OMElement
const_cl :: String -> OMElement
const_cl n :: String
n = OMQualName -> OMElement
OMS (OMCD
clMetaTheory, String -> OMName
mkSimpleName String
n)


const_symbol, const_forall, const_exists, const_module, const_textName
 , const_moduleExcludes, const_and, const_or
 , const_not, const_implies, const_equivalent, const_eq, const_comment
 , const_irregular, const_comment_term, const_that :: OMElement

const_symbol :: OMElement
const_symbol = String -> OMElement
const_cl "symbol"
const_forall :: OMElement
const_forall = String -> OMElement
const_cl "forall"
const_exists :: OMElement
const_exists = String -> OMElement
const_cl "exists"
const_module :: OMElement
const_module = String -> OMElement
const_cl "module"
const_textName :: OMElement
const_textName = String -> OMElement
const_cl "text_name"
const_moduleExcludes :: OMElement
const_moduleExcludes = String -> OMElement
const_cl "module_excludes"
const_and :: OMElement
const_and = String -> OMElement
const_cl "and"
const_or :: OMElement
const_or = String -> OMElement
const_cl "or"
const_not :: OMElement
const_not = String -> OMElement
const_cl "not"
const_implies :: OMElement
const_implies = String -> OMElement
const_cl "implies"
const_equivalent :: OMElement
const_equivalent = String -> OMElement
const_cl "equivalent"
const_eq :: OMElement
const_eq = String -> OMElement
const_cl "eq"
const_comment :: OMElement
const_comment = String -> OMElement
const_cl "comment"
const_irregular :: OMElement
const_irregular = String -> OMElement
const_cl "irregular"
const_comment_term :: OMElement
const_comment_term = String -> OMElement
const_cl "comment_term"
const_that :: OMElement
const_that = String -> OMElement
const_cl "that"