Documentation

mysmallcheck :: Testable prop => prop -> ()

mysmallcheck' :: Testable prop => prop -> IO ()

myquickcheck :: Testable prop => prop -> String

myquickcheck' :: Testable prop => prop -> IO String

tests :: Testable prop => prop -> Int -> [[String]] -> IO String

done :: String -> Int -> [[String]] -> IO String