Safe Haskell | Safe-Infered |
---|
Documentation
vis :: Checkable a => a -> IO ProofResultSource
equivCheckVisInput :: (Generic b1, Generic b, Generic a) => (a -> b) -> (a -> b1) -> a -> IO ProofResultSource
Safe Haskell | Safe-Infered |
---|
vis :: Checkable a => a -> IO ProofResultSource
equivCheckVisInput :: (Generic b1, Generic b, Generic a) => (a -> b) -> (a -> b1) -> a -> IO ProofResultSource