Copyright | (c) Adrian Riesco and Uni Bremen 2007 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | ariesco@fdi.ucm.es |
Stability | experimental |
Portability | non-portable (imports Logic.Logic) |
Safe Haskell | None |
The translating comorphism from Maude with preorder semantics to CASL.
- data Maude2CASL = Maude2CASL
- mapMaudeFreeness :: Morphism -> Result (CASLSign, CASLMor, CASLMor)
Documentation
data Maude2CASL
lid of the morphism