Language.Fixpoint.Solver.Instantiate

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

Documentation

instantiate :: Config -> SInfo a -> IO (SInfo a)

Instantiate Axioms

Orphan instances

Expression (Symbol, SortedReft)

Methods

expr :: (Symbol, SortedReft) -> Expr