Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.LitSet
Documentation
clearLitSet :: LitSet s -> ST s () Source #
sizeofLitSet :: LitSet s -> ST s Int Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
PureSAT.LitSet
clearLitSet :: LitSet s -> ST s () Source #
sizeofLitSet :: LitSet s -> ST s Int Source #