[Added qualifications to some operators (for the benefit of Haddock).
Nils Anders Danielsson <nad@cs.chalmers.se>**20050627135832] hunk ./Test/ChasingBottoms/ContinuousFunctions.hs 54
--- functions. However, say that we want to test that @x '<=!' y@
--- implies that @f x '<=!' f y@ for all functions @f@ (whenever the
--- latter expression returns a total result). This property is not
--- valid in the presence of non-monotone functions.
+-- functions. However, say that we want to test that @x
+-- 'Test.ChasingBottoms.SemanticOrd.<=!' y@ implies that @f x
+-- 'Test.ChasingBottoms.SemanticOrd.<=!' f y@ for all functions @f@
+-- (whenever the latter expression returns a total result). This
+-- property is not valid in the presence of non-monotone functions.