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

Safe HaskellNone
LanguageHaskell98

Language.Fixpoint.Solver.Instantiate

Contents

Description

Axiom Instantiation ------------------------------------------------------

Documentation

instantiateAxioms :: Config -> Context -> BindEnv -> SEnv Sort -> AxiomEnv -> Integer -> SubC c -> IO (SubC c) Source #

instantiateFInfo :: Config -> Context -> FInfo c -> IO (FInfo c) Source #

Orphan instances