[Added type signatures to exported functions.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050530111701
 For the benefit of Haddock.
] {
hunk ./Test/ChasingBottoms/Approx/Tests.hs 156
+tests :: [Bool]
hunk ./Test/ChasingBottoms/ApproxShow/Tests.hs 26
+tests :: [Bool]
hunk ./Test/ChasingBottoms/IsBottom/Tests.hs 30
+tests :: [Bool]
hunk ./Test/ChasingBottoms/IsType/Tests.hs 7
+tests :: [Bool]
hunk ./Test/ChasingBottoms/Nat/Tests.hs 123
+tests :: IO Bool
hunk ./Test/ChasingBottoms/SemanticOrd/Tests.hs 5
+tests :: [Bool]
hunk ./Test/ChasingBottoms/TimeOut/Tests.hs 13
+tests :: IO Bool
}