Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Vis
Documentation
equivCheckVisInput :: (Generic a, Generic b1, Generic b2) => (a -> b1) -> (a -> b2) -> a -> IO ProofResult Source #
chalmers-lava2000-1.6.1: Hardware description EDSL
Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Vis
equivCheckVisInput :: (Generic a, Generic b1, Generic b2) => (a -> b1) -> (a -> b2) -> a -> IO ProofResult Source #