Hets - the Heterogeneous Tool Set
Copyright(c) Iulia Ignatov DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintaineri.ignatov@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

CommonLogic.OMDoc

Description

Library of Common Logic specific OMDoc constants.

Documentation

const_cl :: String -> OMElement Source #