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

Exports the symbol n to OMDoc

exportSenToOmdoc :: Env -> TEXT_META -> Result TCorOMElement

Exports the text tm to OMDoc