Lava.Table

Documentation

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

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