{- |
Module      :  $Header$
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 =
  CD ["commonlogic", "http://cds.omdoc.org/logics/commonlogic.omdoc"]

const_cl :: String -> OMElement
const_cl n = OMS (clMetaTheory, mkSimpleName 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 :: OMElement

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