Language.Fixpoint.Solver.GradualSolution

Create Initial Solution

init

Update Solution

update

Lookup Solution

lhsPred