Copyright	(c) Daniel Calegari Universidad de la Republica, Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	None

Comorphisms.QVTR2CASL

Description

Synopsis

Documentation

lid of the morphism

Constructors

Instances

Show QVTR2CASL
Language QVTR2CASL
Comorphism QVTR2CASL QVTR () Transformation Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree