chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Table
table :: Sequent f => f Symbol -> ([(Int, S Int)], f Int) Source #
tableProp :: Checkable a => a -> IO ([(Int, S Int)], [Int]) Source #