Copyright	(c) Iulia Ignatov DFKI Bremen 2009 Eugen Kuksa Uni Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	eugenk@informatik.uni-bremen.de
Stability	experimental
Portability	portable
Safe Haskell	None

CommonLogic.OMDocExport

Description

Common Logic implementation of the interface functions export_senToOmdoc and export_symToOmdoc from class Logic. The actual instantiation can be found in module CommonLogic.Logic_CommonLogic.

Synopsis

exportSymToOmdoc :: Env -> Symbol -> String -> Result TCElement
exportSenToOmdoc :: Env -> TEXT_META -> Result TCorOMElement

Documentation

exportSymToOmdoc :: Env -> Symbol -> String -> Result TCElement Source #

Exports the symbol n to OMDoc

exportSenToOmdoc :: Env -> TEXT_META -> Result TCorOMElement Source #

Exports the text tm to OMDoc