liquid-fixpoint-0.8.10.7: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Source
Contents
Index
Safe Haskell
None
Language
Haskell98
Language.Fixpoint.Horn.Info
Documentation
hornFInfo
::
Config
->
Query
a ->
FInfo
a
Source
#