| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.Eliminate
Documentation
eliminateAll :: FInfo a -> FInfo a Source
liquid-fixpoint-0.3.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.Eliminate
eliminateAll :: FInfo a -> FInfo a Source