Hets - the Heterogeneous Tool Set

Copyrightnevrenato@gmail.com
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.Hybrid2CASL

Description

Comorphism HybridCASL to CASL.

Documentation

data Hybrid2CASL Source #

Constructors

Hybrid2CASL 

Instances

Show Hybrid2CASL Source # 

Methods

showsPrec :: Int -> Hybrid2CASL -> ShowS

show :: Hybrid2CASL -> String

showList :: [Hybrid2CASL] -> ShowS

Language Hybrid2CASL Source #