Language.Fixpoint.Solver.Eliminate

This module exports a single function that computes the dependency information needed to eliminate non-cut KVars, and then transitively collapse the resulting constraint dependencies. See the type of SolverInfo for details.

Documentation

solverInfo :: Config -> SInfo a -> SolverInfo a b

solverInfo constructs a SolverInfo comprising the Solution and various indices needed by the worklist-based refinement loop