Language.Fixpoint.Solver.Solution

Solutions and Results

type Solution

type Cand a

data EQual

Types with Template/KVars

class Solvable a

Initial Solution

init

Update Solution

update

Lookup Solution

lookup