| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.UniqifyKVars
Documentation
wfcUniqify :: SInfo a -> SInfo a Source
liquid-fixpoint-0.5.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Solver.UniqifyKVars
wfcUniqify :: SInfo a -> SInfo a Source