liquid-fixpoint-0.9.4.7: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Fixpoint.Horn.Info

Documentation

hornFInfo :: Config -> Query a -> FInfo a Source #