FV

Deterministic free vars computations

type FV

type InterestingVarFun

Running the computations

runFV

runFVList

runFVSet

runFVDSet

Manipulating those computations

oneVar

noVars

someVars

unionFV

unionsFV

delFV

delFVs

filterFV

mapUnionFV