chalmers-lava2000-1.5: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Table

Documentation

table :: Sequent f => f Symbol -> ([(Int, S Int)], f Int) Source

tableProp :: Checkable a => a -> IO ([(Int, S Int)], [Int]) Source