Hets - the Heterogeneous Tool Set
Copyright(c) Iulia Ignatov DFKI Bremen 2009 Eugen Kuksa Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

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

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