Copyright | (c) Uni Bremen 2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | till@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
static analysis for ConstraintCASL specifications Follows Chaps. III:2 and III:3 of the CASL Reference Manual.
Documentation
type ConstraintCASLSign = Sign ConstraintFORMULA ()
type ConstraintCASLMor = Morphism ConstraintFORMULA () ()