liquid-fixpoint-0.8.10.2: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Solver.TrivialSort

Documentation

nontrivsorts :: Fixpoint a => Config -> FInfo a -> IO (Result a) Source #