Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
equivCheckVisInput :: (Generic b, Generic b1, Generic a) => (a -> b1) -> (a -> b) -> a -> IO ProofResult Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
equivCheckVisInput :: (Generic b, Generic b1, Generic a) => (a -> b1) -> (a -> b) -> a -> IO ProofResult Source #