Safe Haskell | None |
---|
Documentation
verify :: Checkable a => a -> IO ProofResultSource
verifyWith :: Checkable a => [Option] -> a -> IO ProofResultSource
checkVerifyDir :: IO ()Source
Safe Haskell | None |
---|
verify :: Checkable a => a -> IO ProofResultSource
verifyWith :: Checkable a => [Option] -> a -> IO ProofResultSource
checkVerifyDir :: IO ()Source