Language.Fixpoint.Solver.Solution

Create Initial Solution

init

Update Solution

update

Lookup Solution

lhsPred