Safe Haskell | None |
---|
The testing loop and term generation of QuickSpec.
Documentation
eraseClasses :: TypeMap (TestResults `O` Expr) -> [[Tagged Term]]Source
Safe Haskell | None |
---|
The testing loop and term generation of QuickSpec.
eraseClasses :: TypeMap (TestResults `O` Expr) -> [[Tagged Term]]Source