| Copyright | (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
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])) Source #