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