Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

DFOL.Comorphism

Description

 

Documentation

folType :: Int -> [SORT] Source #

makeArgNames :: String -> Int -> [NAME] Source #