quantification-0.5.0: Rage against the quantification

Index - D

defaultCompareForallPolyData.Exists
defaultEqForallPolyData.Exists
demoteSingData.Exists
DependentPair 
1 (Type/Class)Data.Exists
2 (Data Constructor)Data.Exists