Hets - the Heterogeneous Tool Set

Copyright(c) Daniel Calegari Universidad de la Republica, Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Comorphisms.CSMOF2CASL

Description

 

Synopsis

Documentation

data CSMOF2CASL

lid of the morphism

Constructors

CSMOF2CASL 

Instances

mapSign :: Sign -> CASLSign

generateVars :: String -> Integer -> [VAR]