Hets - the Heterogeneous Tool Set

Copyright(c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

CASL.CCC.FreeTypes

Description

Consistency checking of free types

Documentation

checkFreeType :: (FormExtension f, TermExtension f, Ord f) => (Sign f e, [Named (FORMULA f)]) -> Morphism f e m -> [Named (FORMULA f)] -> IO (Result (Conservativity, [FORMULA f]))