Hets - the Heterogeneous Tool Set
Copyright(c) Kristina Sojakova DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

LF.Framework

Description

 

Documentation

baseB :: BASE Source #

baseM :: MODULE Source #

o :: Symbol Source #

ded :: Symbol Source #

baseSig :: Sign Source #

sen_type_symbol :: Symbol Source #

writeLogic :: String -> String Source #

writeSyntax :: String -> Morphism -> String Source #

writeProof :: String -> Morphism -> String Source #

writeModel :: String -> Morphism -> String Source #

writeComorphism :: String -> String -> String -> Morphism -> Morphism -> Morphism -> String Source #