FV
type FV
type InterestingVarFun
fvVarListVarSet
fvVarList
fvVarSet
fvDVarSet
unitFV
emptyFV
mkFVs
unionFV
unionsFV
delFV
delFVs
filterFV
mapUnionFV