Language.Fixpoint.Solver.Worklist

Worklist type is opaque

data Worklist a

data Stats

Initialize

init

Pop off a constraint

pop

Add a constraint and all its dependencies

push

Constraints with Concrete RHS

unsatCandidates

Statistics

wRanks