Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
optimizeBackend :: b -> OptimizeBackend b Source
optimizeExpr :: SMTExpr t -> Maybe (SMTExpr t) Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
optimizeBackend :: b -> OptimizeBackend b Source
optimizeExpr :: SMTExpr t -> Maybe (SMTExpr t) Source