quantification-0.5.0: Rage against the quantification

Index - W

weakenEqualityData.Exists
weakenOrderingData.Exists
WitnessedEqualityData.Exists
WitnessedEqualityEqualData.Exists
WitnessedEqualityUnequalData.Exists
WitnessedOrderingData.Exists
WitnessedOrderingEQData.Exists
WitnessedOrderingGTData.Exists
WitnessedOrderingLTData.Exists
writeByteArrayForall#Data.Exists
writeOffAddrForall#Data.Exists