Language.Fixpoint.Interface

Containing Constraints

data FInfo a

Invoke Solver on Set of Constraints

solve

solveFile

Function to determine outcome

resultExit

Validity Query

checkValid