Language.Fixpoint.Solver.Worklist

Worklist type is opaque

data Worklist a

Initialize

init

Pop off a constraint

pop

Add a constraint and all its dependencies

push