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

Language.Fixpoint.Horn.Info

Documentation

hornFInfo :: (Fixpoint a, PPrint a) => Config -> Query a -> FInfo a Source #