chalmers-lava2000-1.4.1: Hardware description EDSL

Safe HaskellNone

Lava.Table

Documentation

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

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