Hets - the Heterogeneous Tool Set
Copyright(c) C. Maeder DFKI Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Monoton

Description

computing the monotonicities for functions and predicates in the overload relation

Documentation

monotonicities :: Sign f e -> [Named (FORMULA f)] Source #