Language.Fixpoint.Graph.Deps

Remove Constraints that don't affect Targets

slice

Predicate describing Targets

isTarget

Eliminatable KVars

data Elims a

elimVars

elimDeps

Compute Raw Dependencies

kvEdges

Partition

decompose

Debug

graphStatistics