Safe Haskell | None |
---|
Lava.Vis
Documentation
vis :: Checkable a => a -> IO ProofResultSource
equivCheckVisInput :: (Generic a, Generic b, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResultSource
chalmers-lava2000-1.4.1: Hardware description EDSL
Safe Haskell | None |
---|
Lava.Vis
vis :: Checkable a => a -> IO ProofResultSource
equivCheckVisInput :: (Generic a, Generic b, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResultSource