FunDeps

data FunDepEqn loc

pprEquation

improveFromInstEnv

improveFromAnother

checkInstCoverage

checkFunDeps

pprFundeps