Copyright | (c) Ewaryst Schulz, DFKI Bremen 2009 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | ewaryst.schulz@dfki.de |

Stability | provisional |

Portability | portable |

Safe Haskell | None |

CASL implementation of the interface functions export_signToOmdoc, export_morphismToOmdoc, export_senToOmdoc from class Logic. The actual instantiation can be found in module CASL.Logic_CASL.

- exportSymToOmdoc :: Env -> Symbol -> String -> Result TCElement
- exportSenToOmdoc :: (GetRange f, Pretty f) => Env -> FORMULA f -> Result TCorOMElement
- exportTheoryToOmdoc :: (Show f, Pretty e) => SigMap Symbol -> Sign f e -> [Named (FORMULA f)] -> Result [TCElement]
- caslMetaTheory :: OMCD

# Documentation

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

exportSenToOmdoc :: (GetRange f, Pretty f) => Env -> FORMULA f -> Result TCorOMElement

exportTheoryToOmdoc :: (Show f, Pretty e) => SigMap Symbol -> Sign f e -> [Named (FORMULA f)] -> Result [TCElement]

We have to export the subsort relation because it's not given in sentences

CASL meta theory content dictionary